Update docker-image.yml

make docker publish manual
Z3Prover · Oct 14, 2024 · 62478db · 62478db
1 parent 56b706a
commit 62478db
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -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: