Labels
Labels
28 labels
- Something does not build
- Merge the individual commits of this PR (rather than squashing)
- PR should be squashed upon merge
- CI issues
- Concerning bounds of dependencies (Haskell ecosystem)
- Concerning the included testsuites
- Refactorings, semantics preserving code changes