Skip to content

Merge pull request #807 from epage/clippy #446

Merge pull request #807 from epage/clippy

Merge pull request #807 from epage/clippy #446

Triggered via push November 4, 2024 15:03
Status Success
Total duration 22s
Artifacts

pre-commit.yml

on: push
pre-commit
12s
pre-commit
Fit to window
Zoom out
Zoom in