Skip to content

Update coq-debian.yml #5352

Update coq-debian.yml

Update coq-debian.yml #5352

Build on no_std target (thumbv7em-none-eabi)

succeeded Apr 17, 2024 in 18s