2022-12-04 | Paul Spooren | CI: build changes in tools/ on ubuntu/macos |
commit | commitdiff | tree |
2022-12-04 | Paul Spooren | CI: allow dots in commit subject area |
commit | commitdiff | tree |
2022-12-04 | Paul Spooren | CI: add formal checks |
commit | commitdiff | tree |