test Coq beta branch (since master is broken)

1 job for master in 19 minutes and 55 seconds (queued for 8 minutes and 42 seconds)
Status Job ID Name Coverage
  Build
passed #110877
fp
build-iris.dev

00:19:55