Test docker image #2
joneugsterdocker.yml
on: push
Build image
2m 31s
Test image
0s
Annotations
2 errors
|
Build image
Canceling since a higher priority waiting request for 'Docker-refs/heads/main' exists
|
|
Build image
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hhu-adam~lean4monaco~7OK3QR.dockerbuild
Expired
|
36.2 KB |
|