Adriaan de Groot
|
97da73b170
|
CI: don't fail the deps-installation scripts
Let CMake detect missing dependencies, one stage later in CI
|
2023-10-31 16:29:54 +01:00 |
|
Adriaan de Groot
|
ca76392d28
|
CI: missing tools for debian build
|
2023-10-07 10:37:12 +02:00 |
|
Adriaan de Groot
|
ed1f4876aa
|
CI: switch example & CI builds to ninja
|
2023-10-03 15:04:33 +02:00 |
|
Adriaan de Groot
|
54d0e7dc53
|
CI: repair permissions on Debian deps
|
2023-10-03 13:53:30 +02:00 |
|
Adriaan de Groot
|
1fb9af4823
|
CI: fix up Debian scripts
|
2023-10-01 16:38:03 +02:00 |
|
Adriaan de Groot
|
74a5d76145
|
CI: switch Debian to ci/ scripts
|
2023-09-28 22:21:25 +02:00 |
|