Skip to content

Fix latest clippy lints #1027

Fix latest clippy lints

Fix latest clippy lints #1027

deploy

succeeded Dec 2, 2024 in 5m 17s
Set up job
1s
Run actions/checkout@v2
1s
Build preprocessor
50s
Setup mdBook
0s
Install mdbook-linkcheck
2m 27s
Install mdbook-mermaid
1m 0s
Run mdbook build
56s
Deploy
0s
Post Run actions/checkout@v2
0s
Complete job
0s