Skip to content

Fix CI by granting correct permissions#47

Merged
nicoloesch merged 1 commit into
mainfrom
fix-ci
Jul 20, 2026
Merged

Fix CI by granting correct permissions#47
nicoloesch merged 1 commit into
mainfrom
fix-ci

Commits

Commits on Jul 20, 2026