Test docker image · hhu-adam/lean4monaco@45ba269

Triggered via push August 23, 2024 22:51

joneugster

main

Status Cancelled

Total duration 2m 45s

Artifacts 2

docker.yml

on: push

1 error

Canceling since a higher priority waiting request for 'Docker-refs/heads/main' exists

Produced during runtime

Name	Size
hhu-adam~lean4monaco~R30WRE.dockerbuild Expired	36.8 KB
lean4monaco Expired	1.04 GB