Remove lint workflow on push

PySymGym · Jan 18, 2024 · 734b421 · 734b421
1 parent d4b8099
commit 734b421
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/python_linting.yaml b/.github/workflows/python_linting.yaml
@@ -1,6 +1,6 @@
 name: Python linting
 
-on: [push, pull_request]
+on: [pull_request]
 
 jobs:
   lint: