Skip to content
ci

ci #10373

Sign in to view logs

ci

ci #10373

Triggered via merge group June 14, 2026 02:47
@parnoparno
⁠ 842eb13
Status Success
Total duration 30m 47s
Artifacts –

ci.yml

on: merge_group
fmt
1m 6s
fmt
clippy
1m 46s
clippy
change_filter
8s
change_filter
full-test
28m 38s
full-test
Matrix: basic-test
Matrix: smoke-test
build-docs
3m 43s
build-docs
cargo-verus-test
2s
cargo-verus-test
Fit to window
Zoom out
Zoom in