Skip to content

Remove unnecessary newline in config.rs to make clippy happy ;). #365

Remove unnecessary newline in config.rs to make clippy happy ;).

Remove unnecessary newline in config.rs to make clippy happy ;). #365

Triggered via push February 14, 2026 13:11
Status Success
Total duration 9s
Artifacts

publish-docs.yml

on: push
mdbook-deploy
5s
mdbook-deploy
Fit to window
Zoom out
Zoom in