| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | CI: move logs/ to GITHUB_WORKSPACE | Paul Spooren | 2022-03-09 |
| * | CI: build changes in tools/ on ubuntu/macos | Paul Spooren | 2022-02-25 |
| * | CI: allow dots in commit subject area | Paul Spooren | 2022-02-24 |
| * | CI: add formal checks | Paul Spooren | 2022-01-29 |