Skip to content

Use dafny nightly and Go 1.23 for CI #1694

Use dafny nightly and Go 1.23 for CI

Use dafny nightly and Go 1.23 for CI #1694

Annotations

7 warnings

pr-ci-verification (4.5.0)  /  verification (4.5.0, 5, ubuntu-latest)

succeeded Oct 19, 2024 in 4m 52s