ci: Rename machine targets in MACHINES.json to use platform names#73
Merged
quic-aditrath merged 1 commit intomainfrom Nov 11, 2025
Merged
ci: Rename machine targets in MACHINES.json to use platform names#73quic-aditrath merged 1 commit intomainfrom
quic-aditrath merged 1 commit intomainfrom
