Skip to content
CI

tools: Update tidy.sh and related configs #2339

Sign in to view logs

tools: Update tidy.sh and related configs

tools: Update tidy.sh and related configs #2339

Triggered via push February 2, 2025 19:10
@taiki-etaiki-e
pushed f588040
main
Status Success
Total duration 13m 3s
Artifacts –

ci.yml

on: push
msrv  /  prepare
2s
msrv / prepare
test  /  prepare
2s
test / prepare
tidy  /  prepare
3s
tidy / prepare
miri  /  miri
54s
miri / miri
Matrix: msrv / build
Matrix: test / test
tidy  /  tidy
50s
tidy / tidy
tidy  /  clippy
27s
tidy / clippy
tidy  /  deny
12s
tidy / deny
tidy  /  ...  /  docs
14s
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