Skip to content
Snippets Groups Projects

also allow 'dev' version of coq-equations

Failed
Ralf Jung created pipeline for commit 33f048f8
, finished
For master
branch
1 job 2 minutes 7 seconds, queued for 2 seconds