Skip to content
Snippets Groups Projects

Added flag to prevent warnings from Coq 8.12 bump

Passed
Jonas Kastberg created pipeline for commit ed16401e
, finished
For master
branch
1 job 5 minutes 37 seconds, queued for 3 seconds