mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 09:55:19 +00:00
Update docker-image.yml
make docker publish manual
This commit is contained in:
parent
56b706ac55
commit
62478db7d5
2
.github/workflows/docker-image.yml
vendored
2
.github/workflows/docker-image.yml
vendored
|
@ -1,8 +1,6 @@
|
|||
name: Publish Docker image
|
||||
|
||||
on:
|
||||
schedule:
|
||||
- cron: "0 1 * * 0" # every Sunday at 1 am
|
||||
workflow_dispatch: # on button click
|
||||
|
||||
permissions:
|
||||
|
|
Loading…
Reference in a new issue