Skip to content

ci: Make Windows Defender step best-effort on Windows runners#103

Merged
andrew merged 1 commit into
git-pkgs:mainfrom
abhinavgautam01:ci-windows-defender-fix
Jun 29, 2026
Merged

ci: Make Windows Defender step best-effort on Windows runners#103
andrew merged 1 commit into
git-pkgs:mainfrom
abhinavgautam01:ci-windows-defender-fix

Commits

Commits on Jun 29, 2026