Skip to content
Snippets Groups Projects

Coq 8.10 no longer supported since #104

Passed
Björn Brandenburg created pipeline for commit 3df79004
, finished
For master
14 jobs 11 minutes 9 seconds, queued for 7 seconds