Axiom warnings #16611
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
6s
Matrix: xunit-tests / build
singletons
56s
Matrix: integration-tests / test
test-coverage-analysis
0s
Annotations
9 errors and 5 warnings
singletons
Process completed with exit code 2.
|
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 2.
|
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 2.
|
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 2.
|
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 2.
|
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 2.
|
xunit-tests / ubuntu-20.04
Process completed with exit code 1.
|
xunit-tests / osx
Process completed with exit code 1.
|
xunit-tests / win
Process completed with exit code 1.
|
integration-tests / test (ubuntu-20.04, 2)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
integration-tests / test (ubuntu-20.04, 5)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
integration-tests / test (ubuntu-20.04, 1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
integration-tests / test (ubuntu-20.04, 4)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
integration-tests / test (ubuntu-20.04, 3)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
unit-test-results-macos-11
Expired
|
20.8 MB |
|
unit-test-results-ubuntu-20.04
Expired
|
20.8 MB |
|
unit-test-results-windows-2019
Expired
|
35.2 MB |
|