Skip to content

Make uniqueName deterministic for shared constants#602

Open
aws-nirmaltm wants to merge 1 commit into
leanprover:mainfrom
aws-nirmaltm:nirmaltm-NKI-shared-const-deterministic
Open

Make uniqueName deterministic for shared constants#602
aws-nirmaltm wants to merge 1 commit into
leanprover:mainfrom
aws-nirmaltm:nirmaltm-NKI-shared-const-deterministic

Make uniqueName deterministic for shared constants

7b1bdba
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs