Test Generated Rust

adapt to coq/coq#18563 #5170

# to view logs

Triggered via pull request January 30, 2024 20:24

synchronize #1814

andres-erbsen:more-nth_error

Status Success

Total duration 3m 31s

Artifacts –

rust.yml

on: pull_request

Build on no_std target (thumbv7em-none-eabi)

test-rust-check-all