Skip to content
Snippets Groups Projects

Kill warnings in Coq 8.12.

Passed
Robbert Krebbers created pipeline for commit ecc44ddd
, finished
For master
1 job 6 minutes 21 seconds, queued for 1,033 seconds