Skip to content
Snippets Groups Projects

bump to Coq 8.11.1

Passed
Ralf Jung created pipeline for commit 087e4ccf
, finished
For master
6 jobs 9 minutes 59 seconds, queued for 0 seconds