Skip to content
Rust

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

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

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

rust.yml

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