chore: run linting only on pr

This commit is contained in:
2023-02-09 19:07:14 +00:00
parent 0381eb8cd0
commit 7b7033c6b0

View File

@ -1,8 +1,6 @@
name: Linting name: Linting
on: on:
pull_request: pull_request:
push:
branches: [main]
jobs: jobs:
formatting: formatting:
timeout-minutes: 15 timeout-minutes: 15