Skip to content

ci: run workflow lint on pull_request only#19

Merged
nbrieussel merged 1 commit into
mainfrom
ci/lint-workflows-pr-only
Jun 10, 2026
Merged

ci: run workflow lint on pull_request only#19
nbrieussel merged 1 commit into
mainfrom
ci/lint-workflows-pr-only

Commits

Commits on Jun 10, 2026