Avoid CI action on git push

modelica · Aug 6, 2024 · c4fda44 · c4fda44
1 parent f31fa68
commit c4fda44
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/checkCI.yml b/.github/workflows/checkCI.yml
@@ -1,6 +1,6 @@
 name: CI
 
-on: [push, pull_request]
+on: [pull_request]
 
 jobs:
   html_documentation_checks: