Publish Docker image #150
docker-image.yml
on: schedule
Push Docker image to GitHub Docker registry
33m 23s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Z3Prover~z3~S8CMRP.dockerbuild
|
68 KB |
|