Run the CI on pull request.

This is needed to have the CI run on pull request created from of fork respository. We don't need to launch the CI on push : - It will also be build on pull_request. - The CI does check code only (no publication,...)
2026-01-07 13:58:04 -05:00 · 2020-08-12 11:17:08 +02:00
1 changed files with 2 additions and 2 deletions
--- a/.github/workflows/check_pr.yml
+++ b/.github/workflows/check_pr.yml
@@ -1,6 +1,6 @@
-name: CI
+name: Check PR

-on: [push]
+on: [pull_request]

 jobs:
  Macos: