Skip to content
Rust

Auto merge of #476 - Amanieu:disable_neon_miri, r=Amanieu #622

Sign in to view logs

Auto merge of #476 - Amanieu:disable_neon_miri, r=Amanieu

Auto merge of #476 - Amanieu:disable_neon_miri, r=Amanieu #622

Triggered via push October 19, 2023 17:14
@borsbors
pushed f3dd78e
master
Status Success
Total duration 19m 33s
Artifacts –

rust.yml

on: push
miri
2m 46s
miri
rustfmt_clippy
24s
rustfmt_clippy
basics
6s
basics
Matrix: test
bors build finished
2s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in