Repository navigation
Update dependencies, pin actions, fix zizmor lints - #234
Open
BenjaminBrienen wants to merge 1 commit into
Open
BenjaminBrienen wants to merge 1 commit into
BenjaminBrienen wants to merge 1 commit into
Commits
Commits on Oct 2, 2026