Skip to content

Revert "proof: leap: violate clippy with an error (should fail)"

c7cb432
Select commit
Loading
Failed to load commit list.
Merged

GitHub Actions: Run Clippy on stubs #1011

Revert "proof: leap: violate clippy with an error (should fail)"
c7cb432
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs