Remove pull request

jlurena · Jul 11, 2023 · aef847d · aef847d
1 parent f83248b
commit aef847d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches-ignore:
       - master
-  pull_request:
 jobs:
   build:
     name: Lint