Test docker image #11
joneugsterdocker.yml
on: push
Build image
2m 59s
Test image
2m 27s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hhu-adam~lean4monaco~MPQ436.dockerbuild
|
37 KB |
|
|
lean4monaco
|
1.13 GB |
|