Merge branch 'master' into issue/703

smalot · Jun 5, 2024 · 810d102 · 810d102
2 parents aeb0727 + a3e213d
commit 810d102
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -1,10 +1,6 @@
 name: "CI"
 
-on:
-  pull_request:
-  push:
-    branches:
-      - master
+on: [push, pull_request]
 
 env:
   fail-fast: true