Skip to content

chore: change windows runner label#1990

Merged
deanjingshui merged 1 commit intolynx-family:mainfrom
deanjingshui:p/deanjingshui/change-windows-runner-label
Dec 8, 2025
Merged

chore: change windows runner label#1990
deanjingshui merged 1 commit intolynx-family:mainfrom
deanjingshui:p/deanjingshui/change-windows-runner-label

Commits

Commits on Dec 8, 2025