No labels!
There aren’t any labels for this repository quite yet.
Build-system related issues
Run sby tests for this PR
to be discussed at next dev jour fixe (see #devel-discuss at https://yosyshq.slack.com/)
Error handling and reporting
Issues to do with Liberty files
Merge: PR will be merged after the next Dev JF unless concerns are raised
Merge: PR should not be included in the next release
Merge: PR should be included in the next release
Merge: PR will be merged at the end of the next work day unless concerns are raised
Issue needs more context/information in order to be resolved
This issue is pending verification and/or reproduction
Status: Unfinished, not actively worked on
Status: Broken by changes on main that require non-trivial changes to this PR
Status: Blocked on work done outside of this PR
Status: Needs reviewers to move forward
Status: Unfinished, not actively worked on, PR author intends to continue PR in the future
Status: Work continues in a different PR or was made redundant
You can’t perform that action at this time.