Adriaan de Groot
|
4406a879bc
|
CI: use python-yaml instead of yq if needed (fedora)
|
2024-04-06 23:38:20 +02:00 |
|
Adriaan de Groot
|
2c52adc8e8
|
CI: expand functionality of build.sh
Make it easier to "just do the nightly build" in a Docker
setting by passing the name of the workflow to the script.
|
2024-04-06 23:11:32 +02:00 |
|
Adriaan de Groot
|
49f13c30a5
|
CI: expand documentation of build.sh a bit, extra sanity checks
|
2024-02-22 20:10:56 +01:00 |
|
Adriaan de Groot
|
ed1f4876aa
|
CI: switch example & CI builds to ninja
|
2023-10-03 15:04:33 +02:00 |
|
Adriaan de Groot
|
7b5a2ad68c
|
CI: switch push workflow to simple script
|
2023-09-28 22:13:23 +02:00 |
|