Docker

Test docker image #5

Sign in to view logs

Triggered via push August 23, 2024 22:04

joneugster

main

Status Success

Total duration 5m 15s

Artifacts 2

docker.yml

on: push

Artifacts

Produced during runtime

Name	Size
hhu-adam~lean4monaco~G4E6HN.dockerbuild Expired	37.4 KB
lean4monaco Expired	1.04 GB