run linting for pull request too

This commit is contained in:
Son NK
2024-09-04 21:42:51 +02:00
parent 79b7069e22
commit b85c898a83
+1 -2
View File
@@ -1,6 +1,5 @@
name: Lint name: Lint
on: on: [push, pull_request]
push:
jobs: jobs:
lint: lint: