Skip to content

Update coq-windows.yml #5620

Update coq-windows.yml

Update coq-windows.yml #5620

Build on no_std target (thumbv7em-none-eabi)

succeeded Sep 20, 2024 in 16s