Skip to content
Snippets Groups Projects

allow 9.0-compatible coq-equations

Failed
Ralf Jung created pipeline for commit b7030e3a
, finished
For master
branch
1 job 5 minutes 42 seconds, queued for 1 seconds