Skip to content
Rust

Auto merge of #477 - Amanieu:release-0.14.2, r=Amanieu #624

Sign in to view logs

Auto merge of #477 - Amanieu:release-0.14.2, r=Amanieu

Auto merge of #477 - Amanieu:release-0.14.2, r=Amanieu #624

Triggered via push October 19, 2023 20:17
@borsbors
pushed 7cd193a
auto
Status Success
Total duration 19m 3s
Artifacts –

rust.yml

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