Changed github workflow to only run on pull_request

fungss · fungss · commit 8fe3195288c1 · 2023-08-25T16:32:35.000+01:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,7 +1,6 @@
 name: CI
 
 on:
-  push:
   pull_request:
 
 jobs:

-Original file line number
+Diff line change
@@ @@ -1,7 +1,6 @@ @@
 name: CI
 on:
 -  push:
   pull_request:
 jobs: