rm

rjbou · Aug 8, 2024 · 45bce3f · 45bce3f
1 parent 7d9c45f
commit 45bce3f
Showing 1 changed file with 0 additions and 18 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,25 +1,7 @@
 name: Builds, tests & co
 
 on:
-  pull_request:
-    paths:
-      - 'src/**'
-      - '!src/tools/**'
-      - 'src_ext/**'
-      - 'dune'
-      - 'dune-project'
-      - '*.opam'
-      - 'Makefile*'
-      - 'configure*'
-      - '.github/scripts/**'
-      - '.github/workflows/main.yml'
-      - 'tests/**'
-      - '!tests/bench/**'
-      - 'shell/'
   push:
-    branches:
-      - 'master'
-      - '2.**'
 
 env:
   OPAMBSVERSION: 2.1.0