GitHub issue 511 #401
robin-awsmsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
11s
Matrix: xunit-tests / build
singletons
2m 45s
Matrix: integration-tests / test
test-coverage-analysis
0s
Annotations
13 errors and 6 warnings
|
singletons
Process completed with exit code 2.
|
|
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 4)
The type or namespace name 'MultiMatcher' does not exist in the namespace 'Dafny' (are you missing an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
The type or namespace name 'MultiMatcher' does not exist in the namespace 'Dafny' (are you missing an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
The type or namespace name 'MultiMatcher' does not exist in the namespace 'Dafny' (are you missing an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
The type or namespace name 'MultiMatcher' does not exist in the namespace 'Dafny' (are you missing an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
The type or namespace name 'MultiMatcher' does not exist in the namespace 'Dafny' (are you missing an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
The type or namespace name 'MultiMatcher' does not exist in the namespace 'Dafny' (are you missing an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
The type or namespace name 'MultiMatcher' does not exist in the namespace 'Dafny' (are you missing an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
The type or namespace name 'MultiMatcher' does not exist in the namespace 'Dafny' (are you missing an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 4)
Public method 'CrossReferentialMock' on test class '__default' should be marked as a Theory. Reduce the visibility of the method, or add a Theory attribute to the method. (https://xunit.net/xunit.analyzers/rules/xUnit1013)
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 4)
Public method 'CrossReferentialMock' on test class '__default' should be marked as a Theory. Reduce the visibility of the method, or add a Theory attribute to the method. (https://xunit.net/xunit.analyzers/rules/xUnit1013)
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
integration-test-results-ubuntu-20.04
Expired
|
112 MB |
|
|
unit-test-results-macos-11
Expired
|
121 MB |
|
|
unit-test-results-ubuntu-20.04
Expired
|
121 MB |
|
|
unit-test-results-windows-2019
Expired
|
124 MB |
|