ci: ditto

5 jobs for master in 5 minutes and 22 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build #243457

00:01:50

 
  Test
passed test_opam_test #243463

00:02:47

failed test_opam_test #243458
allowed to fail

00:02:47

failed test_opam_test #243462
allowed to fail

00:02:45

 
  Release
passed release #243459

00:00:44