From 2d5bb2c5f2605bbbb8a77014d9e5b62733bf3d85 Mon Sep 17 00:00:00 2001
From: Michal Podhradsky <mpodhradsky@galois.com>
Date: Tue, 12 Nov 2024 09:21:46 -0800
Subject: [PATCH] Re-enabling the scheduled run

---
 .github/workflows/docker.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 4906f4fc8..7e8c3fe27 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -2,8 +2,8 @@ name: docker
 
 on:
   # Run this action every day
-  # schedule:
-  #   - cron: '30 18 * * *'
+  schedule:
+    - cron: '30 18 * * *'
   # Run this action any time any dockerfile changes
   push:
     paths: