Merge remote-tracking branch 'origin/main' into paul-mo

RemDelaporteMathurin · Feb 5, 2024 · a584859 · a584859
2 parents 7e64d77 + 4241a93
commit a584859
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,6 +2,7 @@ name: CI
 
 on: 
   - push
+  - pull_request
 
 permissions:
   contents: read