Skip to content

CI: set permissions, update and pin actions#38

Merged
black-sliver merged 1 commit into
mainfrom
ci/best-practices
Apr 3, 2026
Merged

CI: set permissions, update and pin actions#38
black-sliver merged 1 commit into
mainfrom
ci/best-practices

Commits

Commits on Apr 3, 2026