Bump coqprime from `431d7a6` to `f611fa4` #4565

	name: Test Generated Rust

	on:
	push:
	pull_request:
	schedule:
	- cron: '0 0 1 * *'

	defaults:
	run:
	working-directory: fiat-rust

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	jobs:
	test-rust:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- name: cargo build
	run: cargo build --verbose
	- name: cargo test
	run: cargo test --verbose
	- name: curve25519-dalek test
	run: (cd .. ; etc/ci/test-fiat-rust-curve25519-dalek.sh)
	- name: crate-crypto/Ed448-Goldilocks test
	run: (cd .. ; etc/ci/test-fiat-rust-crate-crypto-Ed448-Goldilocks.sh)

	build-nostd:
	name: Build on no_std target (thumbv7em-none-eabi)
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@master
	with:
	toolchain: stable
	targets: thumbv7em-none-eabi
	- uses: taiki-e/install-action@cargo-hack
	# No default features build
	- name: no_std / no feat fiat-crypto
	run: cargo build -p fiat-crypto --target thumbv7em-none-eabi --release --no-default-features
	- name: no_std / cargo hack fiat-crypto
	run: cargo hack build -p fiat-crypto --target thumbv7em-none-eabi --release --each-feature --exclude-features default,std

Provide feedback