Skip to content
Snippets Groups Projects

allow 9.0-compatible coq-equations

Passed
iris-dev created pipeline for commit b7030e3a
, finished
For master
Scheduled
1 job 7 minutes 22 seconds, queued for 2 seconds