Test docker image #6

Sign in to view logs

Manually triggered August 23, 2024 22:39

joneugster

main

Status Success

Total duration 5m 10s

Artifacts 2

docker.yml

on: workflow_dispatch

Artifacts

Produced during runtime

Name	Size
hhu-adam~lean4monaco~5UKBJC.dockerbuild	36.6 KB
lean4monaco	1.04 GB