aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/Dockerfile.tools
Commit message (Expand)AuthorAgeFilesLines
* ci: use new buildbot worker images with Debian 11Petr Štetiar2023-05-151-1/+1
* CI: tools: directly copy prebuilt tools in containerChristian Marangi2023-01-231-1/+2
* CI: create Docker container containing compiled toolsPaul Spooren2022-09-301-0/+3