Skip to content
Snippets Groups Projects

fix coqproject

Failed
Lennard Gäher created pipeline for commit 37976ee4
, finished
For new
10 minutes 41 seconds, queued for 4 seconds