6 commits

Author	SHA1	Message	Date
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