Skip to content
Snippets Groups Projects

separate Coq 8.13 MR job from main job

Passed
Ralf Jung created pipeline for commit 2948f2b8
, finished
For master
5 jobs 13 minutes 43 seconds, queued for 262 seconds