Skip to content
Snippets Groups Projects

don't test against Coq master (it is broken)

Failed
Ralf Jung created pipeline for commit bd727416
, finished
For masters/weak_mem
2 minutes 23 seconds, queued for 928 seconds