Skip to content

CI: Use make and don't use a container#41

Merged
JakobTopholt merged 1 commit intomainfrom mads256h-patch-1Jun 26, 2024
+5-10

Commits

Commits on Jun 23, 2024