CI: Fix some details around the hashKind -> HashKind change#4865
Merged
jannotti merged 2 commits intoalgorand:masterfrom Dec 6, 2022
Merged
CI: Fix some details around the hashKind -> HashKind change#4865jannotti merged 2 commits intoalgorand:masterfrom
jannotti merged 2 commits intoalgorand:masterfrom