Skip to content

Test docker image

Test docker image #21

Triggered via push August 24, 2024 02:01
Status Success
Total duration 5m 21s
Artifacts 2

docker.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
hhu-adam~lean4monaco~ZXD3TH.dockerbuild
36.5 KB
lean4monaco
1.13 GB