Skip to content
Publish Documentation

Fix new clippy lints (#1897) #595

Sign in to view logs

Fix new clippy lints (#1897)

Fix new clippy lints (#1897) #595

Triggered via push July 1, 2025 13:33
@github-merge-queuegithub-merge-queue[bot]
pushed fbc5a58
main
Status Success
Total duration 2m 42s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

documentation.yml

on: push
Build rustdoc docs
1m 13s
Build rustdoc docs
Build mkdocs
19s
Build mkdocs
Deploy to GitHub Pages
1m 22s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mkdocs Expired
4.33 MB
sha256:2265fc50d3bb7716714dfc1f4a08d831e0852112d7e15b2c2f03e44a7b477254
rustdoc Expired
26.1 MB
sha256:21f296ce1fc7e6850a422dadde635ac1993a41ab86fb5fbe2280a47598e49136