Skip to content

GitLab

Don't fail if the doc cannot be build

2 jobs for master in 5 minutes and 40 seconds (queued for 2 seconds)
22505f0e
No related merge requests found.
Status Name Job ID Coverage
  Build
passed build #5077

00:02:54

 
  Test
passed test_opam_test #5078

00:02:46