build: harden GitHub workflow permissions
[openwrt/openwrt.git] / .github / workflows / ci_helpers.sh
2022-12-04 Paul SpoorenCI: add formal checks