github 5 Update GitHub workflow to checkout v5. Oct 19, 2025 Update GitHub action checkout version. Oct 19, 2025 Update GitHub workflow to checkout v5. Oct 19, 2025 Update checkout action specific commit. Oct 19, 2025 Update checkout action to specific commit. Oct 19, 2025