for test

rjbou · Oct 13, 2021 · 5f5cd9e · 5f5cd9e
1 parent 3e4cc52
commit 5f5cd9e
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git a/.github/workflows/depexts.yml b/.github/workflows/depexts.yml
@@ -1,5 +1,5 @@
 name: depexts
-on: push
+on: pull_request
 #  pull_request:
 #    paths:
 #      - 'src/state/opamSysInteract.ml'

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -12,17 +12,17 @@ on:
     - 'Makefile*'
     - 'configure*'
     - '.github/**'
-  pull_request:
-    paths:
-    - 'src/**'
-    - '!src/tools/**'
-    - 'src_ext/**'
-    - 'dune'
-    - 'dune-project'
-    - '*.opam'
-    - 'Makefile*'
-    - 'configure*'
-    - '.github/**'
+#  pull_request:
+#    paths:
+#    - 'src/**'
+#    - '!src/tools/**'
+#    - 'src_ext/**'
+#    - 'dune'
+#    - 'dune-project'
+#    - '*.opam'
+#    - 'Makefile*'
+#    - 'configure*'
+#    - '.github/**'
 #    paths-ignore:
 #    - 'release/**'
 #    - 'shell/**'