Test docker image · hhu-adam/lean4monaco@5b8d62f

Triggered via push August 23, 2024 23:59

joneugster

main

Status Success

Total duration 5m 29s

Artifacts 2

docker.yml

on: push

Produced during runtime

Name	Size
hhu-adam~lean4monaco~JP7NR9.dockerbuild Expired	36.7 KB
lean4monaco Expired	1.13 GB