Skip to content
PR CI

chore(dafny-rust): setup and test check-in polymorph rust code (commented out for now); fix windows tests #330

Sign in to view logs

chore(dafny-rust): setup and test check-in polymorph rust code (commented out for now); fix windows tests

chore(dafny-rust): setup and test check-in polymorph rust code (commented out for now); fix windows tests #330

Annotations

2 errors and 24 warnings

pr-ci-net  /  testDotNet (ubuntu-latest)

pr-ci-net / testDotNet (ubuntu-latest)
succeeded Oct 29, 2024 in 4m 42s