Skip to content
Snippets Groups Projects

Default Goal Selector does not work that way on Coq 8.8

Passed
Ralf Jung created pipeline for commit e88e601f
, finished
For master
6 jobs 10 minutes 10 seconds, queued for 3 seconds