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

9 warnings

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

succeeded Oct 19, 2024 in 6m 10s