Publish Docker image #139
docker-image.yml
on: schedule
Push Docker image to GitHub Docker registry
31m 34s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Z3Prover~z3~PIDE9Y.dockerbuild
Expired
|
68.2 KB |
|