Tiny fix lint CI does not trigger on master (#6609)

This commit is contained in:
fzyzcjy
2025-05-25 22:47:03 -07:00
committed by GitHub
parent 6bebef60a7
commit 84147254c9
+5 -1
View File
@@ -1,6 +1,10 @@
name: Lint
on: [ pull_request ]
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
lint: