Update coq-opam-package.yml #5380
rust.yml
on: push
test-rust
2m 32s
Build on no_std target (thumbv7em-none-eabi)
13s
test-rust-check-all
5s