Publish Docker image #152
docker-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 |
|