remove path conditions from workflows

Turns out, this only triggers on push to `branch AND path`, when we wanted `branch OR path`
a16z · Jul 24, 2024 · 33a14d8 · 33a14d8
1 parent d154a67
commit 33a14d8
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 9 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -3,9 +3,6 @@ name: Test external projects
 on:
   push:
     branches: [main, chore-workflows]
-  push:
-    paths:
-      - .github/workflows/test-external.yml
   workflow_dispatch:
     inputs:
       halmos-options:

diff --git a/.github/workflows/test-ffi.yml b/.github/workflows/test-ffi.yml
@@ -3,8 +3,6 @@ name: Test FFI
 on:
   push:
     branches: [main, chore-workflows]
-    paths:
-      - .github/workflows/test-ffi.yml
   pull_request:
     branches: [main]
   workflow_dispatch:

diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml
@@ -3,8 +3,6 @@ name: Test long
 on:
   push:
     branches: [main, chore-workflows]
-    paths:
-      - .github/workflows/test-long.yml
   workflow_dispatch:
     inputs:
       halmos-options:

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -3,8 +3,6 @@ name: Test
 on:
   push:
     branches: [main, chore-workflows]
-    paths:
-      - .github/workflows/test.yml
   pull_request:
     branches: [main]
   workflow_dispatch: