Skip to content

[core] Harden GitHub Actions permissions#1161

Merged
oliviertassinari merged 1 commit intomasterfrom harden-github-actions-permissionOct 15, 2022

Commits

Commits on Oct 15, 2022