Removed "on push" from the linter GitHub Actions workflow (#2133)

This commit is contained in:
Tomer Nosrati 2024-10-01 15:15:53 +03:00 committed by GitHub
parent 225da0898a
commit 072befec84
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -1,6 +1,6 @@
name: Linter
on: [push, pull_request, workflow_dispatch]
on: [pull_request, workflow_dispatch]
jobs:
pre-commit: