From f0acffe087aacb81b294699ca70afd66d723d881 Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Thu, 18 Jan 2024 14:09:22 +0000
Subject: [PATCH] Run on all pushes

---
 .github/workflows/ci.ml       | 18 +++++++++---------
 .github/workflows/depexts.yml |  4 ++--
 .github/workflows/main.yml    | 18 +++++++++---------
 .github/workflows/scripts.yml |  1 +
 4 files changed, 21 insertions(+), 20 deletions(-)

diff --git a/.github/workflows/ci.ml b/.github/workflows/ci.ml
index c82c7666980..95e269098ce 100644
--- a/.github/workflows/ci.ml
+++ b/.github/workflows/ci.ml
@@ -27,15 +27,15 @@ let workflow ~oc ~env name f =
 
 on:
   push:
-    paths:
-    - 'src/**'
-    - '!src/tools/**'
-    - 'src_ext/**'
-    - 'dune'
-    - 'dune-project'
-    - '*.opam'
-    - 'Makefile*'
-    - 'configure*'
+#    paths:
+#    - 'src/**'
+#    - '!src/tools/**'
+#    - 'src_ext/**'
+#    - 'dune'
+#    - 'dune-project'
+#    - '*.opam'
+#    - 'Makefile*'
+#    - 'configure*'
   pull_request:
     paths:
     - 'src/**'
diff --git a/.github/workflows/depexts.yml b/.github/workflows/depexts.yml
index 0d142bd8ed5..01b0db9b819 100644
--- a/.github/workflows/depexts.yml
+++ b/.github/workflows/depexts.yml
@@ -7,8 +7,8 @@ on:
       - '.github/workflows/depexts.yml'
       - '.github/scripts/depexts/**'
   push:
-    paths:
-      - 'src/state/opamSysInteract.ml'
+#    paths:
+#      - 'src/state/opamSysInteract.ml'
 
 defaults:
   run:
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d06a1b729aa..f9c4a96c065 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -2,15 +2,15 @@ name: Builds, tests & co
 
 on:
   push:
-    paths:
-    - 'src/**'
-    - '!src/tools/**'
-    - 'src_ext/**'
-    - 'dune'
-    - 'dune-project'
-    - '*.opam'
-    - 'Makefile*'
-    - 'configure*'
+#    paths:
+#    - 'src/**'
+#    - '!src/tools/**'
+#    - 'src_ext/**'
+#    - 'dune'
+#    - 'dune-project'
+#    - '*.opam'
+#    - 'Makefile*'
+#    - 'configure*'
   pull_request:
     paths:
     - 'src/**'
diff --git a/.github/workflows/scripts.yml b/.github/workflows/scripts.yml
index 3c5190c2260..fd0e292ae41 100644
--- a/.github/workflows/scripts.yml
+++ b/.github/workflows/scripts.yml
@@ -7,6 +7,7 @@ on:
     - '.github/workflows/scripts.yml'
     - '.github/scripts/scripts/hygiene.sh'
     - '.github/scripts/common/hygiene-preamble.sh'
+  push:
 
 defaults:
   run: