Skip to content
Snippets Groups Projects

let's not use flambda while opam rebuilds Coq each and every time

Passed
Ralf Jung created pipeline for commit 18cba701
, finished
For master
1 job 5 minutes 22 seconds, queued for 405 seconds