Skip to content
Snippets Groups Projects

remove bad reference from _CoqProject

Passed
iris-dev created pipeline for commit 5e3348ca
, finished
For master
Scheduled
1 job 19 minutes 41 seconds, queued for 6 seconds