Skip to content
Snippets Groups Projects

bump CI to Coq 8.12.1

Passed
Ralf Jung created pipeline for commit fd7f5e42
, finished
For master
branch
4 jobs 10 minutes 47 seconds, queued for 3 seconds