Bump coqprime from 431d7a6 to f611fa4
#4565
dependabot[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
rust.yml
on: push
test-rust
5m 6s
Build on no_std target (thumbv7em-none-eabi)
32s