Always run

dra27 · Jan 18, 2024 · 7018f53 · 7018f53
1 parent cb228ac
commit 7018f53
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/depexts.yml b/.github/workflows/depexts.yml
@@ -2,13 +2,13 @@ name: depexts
 
 on:
   pull_request:
-    paths:
-      - 'src/state/opamSysInteract.ml'
-      - '.github/workflows/depexts.yml'
-      - '.github/scripts/depexts/**'
+#    paths:
+#      - 'src/state/opamSysInteract.ml'
+#      - '.github/workflows/depexts.yml'
+#      - '.github/scripts/depexts/**'
   push:
-    paths:
-      - 'src/state/opamSysInteract.ml'
+#    paths:
+#      - 'src/state/opamSysInteract.ml'
 
 defaults:
   run: