5 Commits

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