aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/tools.yml
Commit message (Expand)AuthorAge
* CI: migrate each workflow to use reusable workflow from dedicated repoChristian Marangi2023-06-25
* CI: ignore master branch for push eventsChristian Marangi2023-05-25
* ci: tools: run the job on changes in include directory as wellPetr Štetiar2023-05-23
* CI: tools: add gnu-getopt to macOS CIRosen Penev2023-01-23
* CI: remove pcre from macOSRosen Penev2023-01-11
* CI: remove already installed packagesRosen Penev2023-01-11
* CI: remove various tools from macOSRosen Penev2023-01-11
* CI: add concurrency limits for pr testChristian Marangi2023-01-11
* CI: tools: reogranize and split workflowChristian Marangi2022-12-24
* CI: tools: support per branch tools containerChristian Marangi2022-12-04
* CI: bump actions/download,upload-artifact action to v3Christian Marangi2022-10-12
* CI: bump actions/checkout action to v3Christian Marangi2022-10-12
* 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