Test docker image · hhu-adam/lean4monaco@5640012

Triggered via push August 24, 2024 02:29

joneugster

main

Status Success

Total duration 5m 38s

Artifacts 2

docker.yml

on: push

Produced during runtime

Name	Size
hhu-adam~lean4monaco~XOYS9Z.dockerbuild Expired	36.4 KB
lean4monaco Expired	1.13 GB