Skip to content

Use zizmor to lint GitHub Actions#114

Merged
santisoler merged 8 commits intomainfrom zizmorDec 16, 2024

Commits

Commits on Dec 10, 2024

Commits on Dec 16, 2024