Test Generated Rust

Model coq-alpine after coq-debian #4739

Sign in to view logs

Triggered via pull request November 11, 2023 16:41

JasonGross

synchronize #1712

JasonGross:alpine-more

Status Success

Total duration 1h 34m 44s

Artifacts –

rust.yml

on: pull_request

Build on no_std target (thumbv7em-none-eabi)

test-rust-check-all