CI: pin third-party GitHub Actions to specific commit SHAs for security#5143
Merged
jedel1043 merged 2 commits intoboa-dev:mainfrom Mar 19, 2026
Merged
CI: pin third-party GitHub Actions to specific commit SHAs for security#5143jedel1043 merged 2 commits intoboa-dev:mainfrom
jedel1043 merged 2 commits intoboa-dev:mainfrom
