Publish Docker image #145
docker-image.yml
on: schedule
Push Docker image to GitHub Docker registry
33m 31s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Z3Prover~z3~35SVRC.dockerbuild
|
67.9 KB |
|