Skip to content

Test docker image

Test docker image #29

Triggered via pull request September 12, 2024 16:40
Status Success
Total duration 5m 35s
Artifacts 2

docker.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
hhu-adam~lean4monaco~PS05TP.dockerbuild Expired
37.3 KB
lean4monaco Expired
1.15 GB