Skip to content

Merge pull request #727 from hra687261/bv-debug #301

Merge pull request #727 from hra687261/bv-debug

Merge pull request #727 from hra687261/bv-debug #301

Triggered via push July 10, 2023 13:56
Status Success
Total duration 7m 8s
Artifacts

build_docker.yml

on: push
opam install on a specific docker container
6m 54s
opam install on a specific docker container
Fit to window
Zoom out
Zoom in