Skip to content
CI

tools: Update tidy.sh and related configs #2084

Sign in to view logs

tools: Update tidy.sh and related configs

tools: Update tidy.sh and related configs #2084

Triggered via push February 2, 2025 18:50
@taiki-etaiki-e
pushed 5153754
main
Status Success
Total duration 14m 7s
Artifacts –

ci.yml

on: push
msrv  /  prepare
4s
msrv / prepare
test  /  prepare
2s
test / prepare
tidy  /  prepare
3s
tidy / prepare
miri  /  miri
29s
miri / miri
Matrix: msrv / build
Matrix: test / test
tidy  /  tidy
45s
tidy / tidy
tidy  /  clippy
13s
tidy / clippy
tidy  /  deny
13s
tidy / deny
tidy  /  ...  /  docs
10s
tidy / docs / docs
tidy  /  codegen
0s
tidy / codegen
tidy  /  ...  /  check-external-types
tidy / check-external-types / check-external-types
Fit to window
Zoom out
Zoom in