Skip to content
Snippets Groups Projects

also accept installing with Coq 8.13 beta

Passed
Ralf Jung created pipeline for commit 213cb427
, finished
For master
4 jobs 16 minutes 6 seconds, queued for 725 seconds