Skip to content
Snippets Groups Projects

cleanup coqproject a bit

Canceled
Lennard Gäher created pipeline for commit d30f4b59
, finished
1 related merge request: !28 Build system tweaks + repo cleanup
7 jobs 2 minutes 13 seconds, queued for 1 seconds