Skip to content

Move Windows CI to the windows-2025-vs2026 runner - #329

Merged
SeanTAllen merged 1 commit into
mainfrom
windows-2025-vs2026
May 29, 2026
Merged

Move Windows CI to the windows-2025-vs2026 runner#329
SeanTAllen merged 1 commit into
mainfrom
windows-2025-vs2026

Conversation

@SeanTAllen

Copy link
Copy Markdown
Member

GitHub is redirecting windows-2025 runner requests to windows-2025-vs2026 by 2026-06-15. This moves us on our own schedule rather than being silently redirected.

Also bumps the actionlint CI image to 20260529, whose bundled actionlint recognizes the windows-2025-vs2026 label so workflow linting continues to pass.

GitHub is redirecting `windows-2025` runner requests to
`windows-2025-vs2026` by 2026-06-15. Move on our own schedule rather
than being silently redirected.

Also bump the actionlint CI image to 20260529, whose actionlint knows
the `windows-2025-vs2026` label so workflow linting still passes.
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label May 29, 2026
@SeanTAllen
SeanTAllen merged commit f829fdb into main May 29, 2026
17 checks passed
@SeanTAllen
SeanTAllen deleted the windows-2025-vs2026 branch May 29, 2026 23:52
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label May 29, 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