Skip to content

ci: use minimal permissions for Github Actions#351

Merged
josephlr merged 1 commit intomasterfrom permsMar 25, 2023
+3

Commits

Commits on Mar 24, 2023