Skip to content

ci: Use commit from Dafny feature branch for testing Rust support #458

ci: Use commit from Dafny feature branch for testing Rust support

ci: Use commit from Dafny feature branch for testing Rust support #458

Annotations

3 warnings

pr-ci-net (4.2.0)  /  testDotNet (4.2.0, TestModels/SimpleTypes/SimpleLong, 6.0.x, ubuntu-latest)

succeeded May 22, 2024 in 1m 37s