Remove scheduled workflows

C.f. https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/Make.20hint.20locality.20warning.20an.20error/near/281696330
coq-community · May 9, 2022 · def90f1 · def90f1
1 parent d542bdd
commit def90f1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -1,8 +1,8 @@
 name: Docker CI
 
 on:
-  schedule:
-    - cron: '0 4 * * *'
+  # schedule:
+  #   - cron: '0 4 * * *'
   push:
     branches:
       - master