Build with ocp Docker container

Clean up documentation of the SAT API (#1020) #477

Sign in to view logs

Triggered via push January 3, 2024 11:30

Halbaroth

next

Status Success

Total duration 6m 21s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build_docker.yml

on: push

opam install on a specific docker container