Skip to content
Test Generated Rust

Update coq-docker.yml: Bump binaryen vesion #5240

Sign in to view logs

Update coq-docker.yml: Bump binaryen vesion

Update coq-docker.yml: Bump binaryen vesion #5240

Triggered via push March 29, 2024 21:39
@JasonGrossJasonGross
pushed 2b329d7
JasonGross-patch-1
Status Success
Total duration 40m 47s
Artifacts –

rust.yml

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