Christian Marangi
|
38cc09165f
CI: migrate each workflow to use reusable workflow from dedicated repo
|
2 лет назад |
Christian Marangi
|
f5a5ce8822
CI: ignore master branch for push events
|
2 лет назад |
Petr Štetiar
|
71ca2a3154
ci: tools: run the job on changes in include directory as well
|
2 лет назад |
Rosen Penev
|
183bad6641
CI: tools: add gnu-getopt to macOS CI
|
2 лет назад |
Rosen Penev
|
0a35d3f992
CI: remove pcre from macOS
|
3 лет назад |
Rosen Penev
|
dd357409f6
CI: remove already installed packages
|
3 лет назад |
Rosen Penev
|
11627f3ac1
CI: remove various tools from macOS
|
3 лет назад |
Christian Marangi
|
cb679adf18
CI: add concurrency limits for pr test
|
3 лет назад |
Christian Marangi
|
af44174187
CI: tools: reogranize and split workflow
|
3 лет назад |
Christian Marangi
|
75550771ae
CI: tools: support per branch tools container
|
3 лет назад |
Christian Marangi
|
77b24012db
CI: bump actions/download,upload-artifact action to v3
|
3 лет назад |
Christian Marangi
|
87c69d73bb
CI: bump actions/checkout action to v3
|
3 лет назад |
Christian Marangi
|
2781e3839e
CI: tools: compile tools with ccache support for tools container
|
3 лет назад |
Edward Chow
|
c27b439564
CI: Add workaround for github uppercase usernames
|
3 лет назад |
Paul Spooren
|
25b65f548d
CI: create Docker container containing compiled tools
|
3 лет назад |
Paul Spooren
|
3b23227d43
CI: use buildbot container for building
|
3 лет назад |
Petr Štetiar
|
f4ca4187cd
ci: show build failures directly in job log output
|
3 лет назад |
Alex Low
|
7152599407
build: harden GitHub workflow permissions
|
3 лет назад |
Paul Spooren
|
80f79beb95
CI: usability improvements for tools
|
3 лет назад |
Paul Spooren
|
a5eeac8033
CI: move logs/ to GITHUB_WORKSPACE
|
3 лет назад |
Paul Spooren
|
fb830fd894
CI: build changes in tools/ on ubuntu/macos
|
3 лет назад |