aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/tools.yml
Commit message (Expand)AuthorAge
* CI: tools: compile tools with ccache support for tools containerChristian Marangi2022-10-06
* CI: Add workaround for github uppercase usernamesEdward Chow2022-10-03
* CI: create Docker container containing compiled toolsPaul Spooren2022-09-30
* CI: use buildbot container for buildingPaul Spooren2022-09-30
* ci: show build failures directly in job log outputPetr Štetiar2022-09-20
* build: harden GitHub workflow permissionsAlex Low2022-09-19
* CI: usability improvements for toolsPaul Spooren2022-04-05
* CI: move logs/ to GITHUB_WORKSPACEPaul Spooren2022-03-09
* CI: build changes in tools/ on ubuntu/macosPaul Spooren2022-02-25