Build with ocp Docker container

Fix issue 719 (#739) #310

Sign in to view logs

Triggered via push July 19, 2023 16:22

Halbaroth

next

Status Success

Total duration 6m 1s

Artifacts –

build_docker.yml

on: push

opam install on a specific docker container