main
Update outdated GitHub Actions version (#3875)
Fix: Prevent repo linter from crashing on deletion-only PRs (#4283)