Run on all pushes

dra27 · Jan 18, 2024 · 71a9fc6 · 71a9fc6
1 parent 66fa4f8
commit 71a9fc6
Show file tree

Hide file tree

Showing 4 changed files with 18 additions and 18 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,9 +7,9 @@ on:
       - '.github/workflows/depexts.yml'
       - '.github/scripts/depexts/**'
   push:
-    paths:
-      - 'master'
-      - '2.**'
+#    paths:
+#      - 'master'
+#      - '2.**'
 
 defaults:
   run:

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -17,9 +17,9 @@ on:
       - '!tests/bench/**'
       - 'shell/'
   push:
-    branches:
-      - 'master'
-      - '2.**'
+#    branches:
+#      - 'master'
+#      - '2.**'
 
 env:
   OPAMBSVERSION: 2.1.0

diff --git a/.github/workflows/scripts.yml b/.github/workflows/scripts.yml
@@ -8,9 +8,9 @@ on:
       - '.github/scripts/scripts/hygiene.sh'
       - '.github/scripts/common/hygiene-preamble.sh'
   push:
-    branches:
-      - 'master'
-      - '2.**'
+#    branches:
+#      - 'master'
+#      - '2.**'
 
 defaults:
   run: