Fix: Tail-Recursion for the Dafny-to-Rust compiler #18990
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
singletons
3m 36s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
41 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
unit-test-results-windows-2019
|
9.22 MB |
|