Skip to content

perf: Don't hash the key when searching in empty hash tables#2471

Closed
hargoniX wants to merge 1 commit into
leanprover:masterfrom
hargoniX:empty-hash
Closed

perf: Don't hash the key when searching in empty hash tables#2471
hargoniX wants to merge 1 commit into
leanprover:masterfrom
hargoniX:empty-hash

perf: Don't hash the key when searching in empty hash tables

1262a41
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs