Skip to content
Snippets Groups Projects

test Coq beta branch (since master is broken)

Passed
iris-dev created pipeline for commit 1226aa9c
, finished
For master
Scheduled
1 job 19 minutes 55 seconds, queued for 522 seconds