Skip to content

perf: reduce allocations in unused variable linter#2491

Merged
Kha merged 1 commit into
leanprover:masterfrom
hargoniX:perf-unused-vars
Sep 18, 2023
Merged

perf: reduce allocations in unused variable linter#2491
Kha merged 1 commit into
leanprover:masterfrom
hargoniX:perf-unused-vars

perf: reduce allocations in unused variable linter

20aa03c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs