Skip to content

Update coq-opam-package.yml #5380

Update coq-opam-package.yml

Update coq-opam-package.yml #5380

Build on no_std target (thumbv7em-none-eabi)

succeeded Apr 22, 2024 in 13s