Skip to content
Rust

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

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 #621

Triggered via push October 19, 2023 16:52
@borsbors
pushed f3dd78e
auto
Status Success
Total duration 20m 44s
Artifacts –

rust.yml

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