Publish Docker image #152
NikolajBjornerdocker-image.yml
on: schedule
Push Docker image to GitHub Docker registry
1m 16s
Annotations
1 error
|
Push Docker image to GitHub Docker registry
buildx failed with: ERROR: failed to solve: process "/bin/sh -c make" did not complete successfully: exit code: 2
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Z3Prover~z3~APCIXP.dockerbuild
|
36.4 KB |
|