2022-09-30 | Paul Spooren | CI: create Docker container containing compiled tools | blob | commitdiff | raw |
2022-09-30 | Paul Spooren | CI: use buildbot container for building | blob | commitdiff | raw | diff to current |
2022-09-20 | Petr Štetiar | ci: show build failures directly in job log output | blob | commitdiff | raw | diff to current |
2022-09-19 | Alex Low | build: harden GitHub workflow permissions | blob | commitdiff | raw | diff to current |
2022-04-04 | Paul Spooren | CI: usability improvements for tools | blob | commitdiff | raw | diff to current |
2022-03-09 | Paul Spooren | CI: move logs/ to GITHUB_WORKSPACE | blob | commitdiff | raw | diff to current |
2022-02-25 | Paul Spooren | CI: build changes in tools/ on ubuntu/macos | blob | commitdiff | raw | diff to current |