gbin contributed to copper-project/copper-rs

Wait 5 sec.

gbin merged copper-project/copper-rs#1462 · October 6, 2026 14:39 ci: use standard runners and reduce repeated CI work #1462 Use standard GitHub-hosted runners for Linux and Windows while retaining the existing compile, test, feature, CUDA, and embedded checks for code ch… +606 -43