Skip to content

Merge pull request #562 from jannic/ci-on-ubuntu #867

Merge pull request #562 from jannic/ci-on-ubuntu

Merge pull request #562 from jannic/ci-on-ubuntu #867

clippy

succeeded Oct 18, 2024 in 21s