Publish Docker image #141
docker-image.yml
on: schedule
Push Docker image to GitHub Docker registry
32m 22s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Z3Prover~z3~VQSHFX.dockerbuild
Expired
|
66.9 KB |
|