2022-04-04 | Paul Spooren | CI: usability improvements for tools | tree | commitdiff |
2022-03-09 | Paul Spooren | CI: move logs/ to GITHUB_WORKSPACE | tree | commitdiff |
2022-02-25 | Paul Spooren | CI: build changes in tools/ on ubuntu/macos | tree | commitdiff |
2022-02-24 | Paul Spooren | CI: allow dots in commit subject area | tree | commitdiff |
2022-01-29 | Paul Spooren | CI: add formal checks | tree | commitdiff |