Prepare for making new resolver the default #19151
RustanLeinomsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
7s
singletons
3m 34s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
19 errors and 1 warning
|
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 1.
|
|
xunit-tests / ubuntu-20.04 (1)
Process completed with exit code 1.
|
|
xunit-tests / osx (1)
Process completed with exit code 1.
|
|
xunit-tests / win (1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 4)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 4)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 4)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 4)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 4)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 4)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 4)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 4)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/git-issues/git-issue-3922.cs#L5952
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/git-issues/git-issue-3922.cs#L5832
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 5)
BigInteger divide by zero
|
|
integration-tests / test (ubuntu-20.04, 5)
BigInteger divide by zero
|
|
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 1)
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.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.7 MB |
sha256:109b0d48bdc8a873298e8d95739140de37af06c26c8f62511b533fb51437f3b8
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.68 MB |
sha256:1b7d1ba6c4d64a0fcfd2f635a33d37dc849e7ed35386891570e650a46802d3ad
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.73 MB |
sha256:6f2077ad1e23df646fb3c2b0615e9a0722d2f4896e1dacd7fc549bc35754147f
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.68 MB |
sha256:138337a8ecf9419786d47653600967173a5e60008dd518143836786c2f983fb7
|
|
|
unit-test-results-macos-13
Expired
|
3.91 MB |
sha256:4ce5bfbaf7f61c761cd0cbb03f53a71c5a3ee59c6ff15ff660d8abb02bd245c3
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
3.95 MB |
sha256:05b0a9c36f7347f107f777c038bb68afe75bb10c98cc18fae214df6c523086df
|
|
|
unit-test-results-windows-2019
Expired
|
3.91 MB |
sha256:b71ab89cbb19a0d5395fb4f57723ba2189a8a677ee3b945ed559480b704d05eb
|
|