Skip to content
Snippets Groups Projects

bump to Coq 8.15

Failed
Ralf Jung created pipeline for commit 056b0afa
, finished
For masters/weak_mem
branch
1 job 25 minutes 31 seconds, queued for 755 seconds