Test docker image #34
joneugsterdocker.yml
on: push
Build image
3m 18s
Test image
2m 15s
Annotations
2 warnings
|
Build image
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Test image
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hhu-adam~lean4monaco~ETPWIQ.dockerbuild
|
39.1 KB |
|
|
lean4monaco
|
1.2 GB |
|