Skip to content

Disable Windows Defender in CI#305

Merged
SeanTAllen merged 1 commit intomainfrom
disable-windows-defender
Mar 24, 2026
Merged

Disable Windows Defender in CI#305
SeanTAllen merged 1 commit intomainfrom
disable-windows-defender

Conversation

@SeanTAllen
Copy link
Copy Markdown
Member

Disable Windows Defender real-time monitoring as the first step in all Windows CI jobs.

@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Mar 24, 2026
@SeanTAllen SeanTAllen merged commit 5ab0658 into main Mar 24, 2026
15 checks passed
@SeanTAllen SeanTAllen deleted the disable-windows-defender branch March 24, 2026 13:54
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Mar 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants