use OPAM-based CI

1 job for master in 18 minutes and 21 seconds (queued for 14 minutes and 58 seconds)
Status Job ID Name Coverage
  Test
passed #1753
iris_atomic-coq8.5.3

00:18:21