Skip to content
Snippets Groups Projects

bump to Coq 8.20.1

Passed
Ralf Jung created pipeline for commit db6bf153
, finished
For master
branch
4 jobs 9 minutes 30 seconds, queued for 2 seconds