Skip to content

GitLab

Set OPAMDEPEXTYES, we want it in containers

2 jobs for master in 11 seconds (queued for 10 seconds)
3d0bf002
No related merge requests found.
Status Job ID Name Coverage
  .Pre
passed #73825
make-targets

00:00:11

 
  Build
passed #73826
bridge
build-images