fix(workflows): Run lint on pull_requests too

This commit is contained in:
Tom Hubrecht 2024-08-17 18:00:10 +02:00
parent b3b21d1f96
commit b70dd91eb2
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc

View file

@ -1,5 +1,5 @@
name: lint name: lint
on: push on: [push, pull_request]
jobs: jobs:
check: check: