Skip to content

ci: lint workflows with actionlint - #161

Merged
PierreJeanjacquot merged 2 commits into
mainfrom
ci/actionlint
Oct 1, 2026
Merged

PierreJeanjacquot merged 2 commits into
mainfrom
ci/actionlint