Update coq-archlinux.yml #5208
rust.yml
on: push
test-rust
2m 32s
Build on no_std target (thumbv7em-none-eabi)
20s
test-rust-check-all
7s