Commit Graph

3 Commits

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