Skip to content

Disable Windows Defender in CI#137

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

Disable Windows Defender in CI#137
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 b9e5c7d into main Mar 24, 2026
15 checks passed
@SeanTAllen SeanTAllen deleted the disable-windows-defender branch March 24, 2026 13:52
@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