Skip to content
Snippets Groups Projects

use nightly run to test Coq 8.10 beta, for now

Failed
Ralf Jung created pipeline for commit 8f19a2a5
, finished
For ci/weak_mem
Scheduled branch
1 job 1 minute 33 seconds, queued for 3 seconds