Skip to content

ci: add explicit permissions to GitHub Actions workflows#830

Merged
vdusek merged 1 commit intomasterfrom
ci-permissions
Mar 13, 2026
Merged

ci: add explicit permissions to GitHub Actions workflows#830
vdusek merged 1 commit intomasterfrom
ci-permissions

Commits

Commits on Mar 13, 2026