Skip to content
Snippets Groups Projects

declare Coq 8.9 and older as 'old' for reftests

Failed
Ralf Jung created pipeline for commit 7c2aeaef
, finished
For master
6 jobs 2 minutes 53 seconds, queued for 1 seconds