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