Skip to content

chore(dafny): more using uint64 instead of nat #5073

chore(dafny): more using uint64 instead of nat

chore(dafny): more using uint64 instead of nat #5073

Annotations

2 errors and 10 warnings

pr-ci-net  /  testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04)

failed May 6, 2025 in 1m 5s