Skip to content

Add a new GitHub action to lint workflows#24

Merged
Nicolapps merged 3 commits into
mainfrom
nicolas/add-linting-for-github-actions
May 22, 2026
Merged

Add a new GitHub action to lint workflows#24
Nicolapps merged 3 commits into
mainfrom
nicolas/add-linting-for-github-actions

Commits

Commits on May 22, 2026