Skip to content
Snippets Groups Projects

remove dev from Coq dependency

Failed
iris-dev created pipeline for commit fadf75df
, finished
For master
Scheduled branch
2 jobs 10 minutes 26 seconds, queued for 3 seconds