Skip to content

Improve workflow event filters. - #215

Merged
davidlehn merged 1 commit into
masterfrom
run-checks-on-pull-requests
Nov 19, 2025
Merged

Improve workflow event filters.#215
davidlehn merged 1 commit into
masterfrom
run-checks-on-pull-requests

Commits

Commits on Nov 19, 2025