Repository navigation
Pin GitHub Actions to full-length commit SHAs - #533
Merged
Petr Nechvátal (nechvatalp) merged 1 commit intoSep 1, 2026
Merged
Petr Nechvátal (nechvatalp) merged 1 commit into
Petr Nechvátal (nechvatalp) merged 1 commit into
Commits
Commits on Aug 23, 2026