Skip to content
Snippets Groups Projects

test against and allow installing on 8.15 Coq branch

Passed
Ralf Jung created pipeline for commit 130789ac
, finished
For master
5 jobs 25 minutes 55 seconds, queued for 108 seconds