Skip to content

Merge pull request #831 from gwenn/clippy #950

Merge pull request #831 from gwenn/clippy

Merge pull request #831 from gwenn/clippy #950

Annotations

1 warning

build (ubuntu-latest)

succeeded Dec 6, 2024 in 52s