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-java (4.2.0)  /  testJava (TestModels/LocalService)

succeeded May 22, 2024 in 1m 39s