Test docker image #13
joneugsterdocker.yml
on: push
Build image
2m 58s
Test image
3m 58s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hhu-adam~lean4monaco~AN3H8O.dockerbuild
|
37.3 KB |
|
|
lean4monaco
|
1.13 GB |
|