Stop the workflow on PR

gabriel-detassigny · gabriel-detassigny · commit 08813aa16489 · 2025-08-26T11:05:40.000+09:00
Doing only on push should be enough and avoid duplication of workflows
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,7 +2,6 @@ name: CI
 
 on:
   push:
-  pull_request:
 
 jobs:
   build:

-Original file line number
+Diff line change
 on:
   push:
 -  pull_request:
 jobs:
   build: