aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows
Commit message (Expand)AuthorAgeFilesLines
* CI: usability improvements for toolsPaul Spooren2022-04-051-3/+13
* CI: move logs/ to GITHUB_WORKSPACEPaul Spooren2022-03-091-1/+6
* CI: build changes in tools/ on ubuntu/macosPaul Spooren2022-02-251-0/+129
* CI: allow dots in commit subject areaPaul Spooren2022-02-241-1/+1
* CI: add formal checksPaul Spooren2022-01-292-0/+96