Run on all pushes

dra27 · Jan 18, 2024 · 07f7627 · 07f7627
1 parent cfc077f
commit 07f7627
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 20 deletions.
diff --git 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
@@ -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
@@ -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
@@ -7,6 +7,7 @@ on:
       - '.github/workflows/scripts.yml'
       - '.github/scripts/scripts/hygiene.sh'
       - '.github/scripts/common/hygiene-preamble.sh'
+  push:
 
 defaults:
   run: