Skip to content
Test Generated Rust

Adapt to https://github.com/coq/coq/pull/19530 (#1957) #5618

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530 (#1957)

Adapt to https://github.com/coq/coq/pull/19530 (#1957) #5618

Triggered via push September 19, 2024 19:05
@JasonGrossJasonGross
pushed 7f0f40a
master
Status Success
Total duration 4h 0m 44s
Artifacts –

rust.yml

on: push
test-rust
2m 39s
test-rust
Build on no_std target (thumbv7em-none-eabi)
15s
Build on no_std target (thumbv7em-none-eabi)
test-rust-check-all
5s
test-rust-check-all
Fit to window
Zoom out
Zoom in