Test docker image #29
joneugsterdocker.yml
on: pull_request
Build image
2m 50s
Test image
2m 15s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hhu-adam~lean4monaco~PS05TP.dockerbuild
|
37.3 KB |
|
|
lean4monaco
|
1.15 GB |
|