Skip to content
Docker

Test docker image #1

Sign in to view logs

Test docker image

Test docker image #1

Triggered via push August 23, 2024 21:31
@joneugsterjoneugster
pushed 64b91da
main
Status Success
Total duration 5m 30s
Artifacts 2

docker.yml

on: push
Build docker image
2m 46s
Build docker image
test
2m 26s
test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
hhu-adam~lean4monaco~CJB4P7.dockerbuild Expired
37.5 KB
lean4monaco Expired
1.04 GB