Skip to content

Merge pull request #687 from hermit-os/clippy #1235

Merge pull request #687 from hermit-os/clippy

Merge pull request #687 from hermit-os/clippy #1235

Test (ubuntu-latest)

succeeded May 6, 2024 in 52s