Skip to content
Snippets Groups Projects

fix and reject warnings on Coq 8.13

Passed
Ralf Jung created pipeline for commit e7a7f588
, finished
1 related merge request: !214 fix and reject warnings on Coq 8.13
branch
5 jobs 10 minutes 7 seconds, queued for 3 seconds