From 62478db7d52c8fe20f4c67dd6101832634dee392 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 13 Oct 2024 19:50:56 -0700
Subject: [PATCH] Update docker-image.yml

make docker publish manual
---
 .github/workflows/docker-image.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
index c3949d6c5..cf930c86e 100644
--- 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: