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

1 error and 3 warnings

pr-ci-rust (1d6d38326e967d78079fce3523bbaf35671cefff)  /  testRust (5)

failed Oct 19, 2024 in 8m 5s