| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | ci: show build failures directly in job log output | Petr Štetiar | 2022-09-20 |
| * | build: harden GitHub workflow permissions | Alex Low | 2022-09-19 |
| * | CI: usability improvements for tools | Paul Spooren | 2022-04-05 |
| * | CI: move logs/ to GITHUB_WORKSPACE | Paul Spooren | 2022-03-09 |
| * | CI: build changes in tools/ on ubuntu/macos | Paul Spooren | 2022-02-25 |