ci(lint_pr): run on synchronize, and add zizmor ignore (#1508)

This commit is contained in:
Gideon
2025-11-15 10:56:42 +01:00
committed by GitHub
parent 722b1ad09e
commit ca2d16edfd

View File

@@ -1,11 +1,12 @@
name: 'Lint PR'
on:
pull_request_target:
pull_request_target: # zizmor: ignore[dangerous-triggers] this is the only way, and we're not running user code
types:
- opened
- edited
- reopened
- synchronize
jobs:
main: