Per backend code support in stdlibs #438
robin-awsmsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
4s
Matrix: xunit-tests / build
singletons
2m 17s
Matrix: integration-tests / test
test-coverage-analysis
0s
Annotations
20 errors and 8 warnings
|
integration-tests / test (ubuntu-20.04, 2)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 2)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 2)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 2)
The process '/usr/bin/git' failed with exit code 128
|
|
integration-tests / test (ubuntu-20.04, 3)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 3)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 3)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 3)
The process '/usr/bin/git' failed with exit code 128
|
|
integration-tests / test (ubuntu-20.04, 5)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 5)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 5)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 5)
The process '/usr/bin/git' failed with exit code 128
|
|
integration-tests / test (ubuntu-20.04, 4)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 4)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 4)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 4)
The process '/usr/bin/git' failed with exit code 128
|
|
integration-tests / test (ubuntu-20.04, 1)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 1)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 1)
couldn't find remote ref refs/pull/36/merge
|
|
integration-tests / test (ubuntu-20.04, 1)
The process '/usr/bin/git' failed with exit code 128
|
|
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, 3)
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, 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, 1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
|
singletons
The assembly 'content/Microsoft.TestPlatform.PlatformAbstractions.dll' is not inside the 'lib' folder and hence it won't be added as a reference when the package is installed into a project. Move it into the 'lib' folder if it needs to be referenced.
|
|
singletons
The assembly 'contentFiles/any/net6.0/Microsoft.TestPlatform.PlatformAbstractions.dll' is not inside the 'lib' folder and hence it won't be added as a reference when the package is installed into a project. Move it into the 'lib' folder if it needs to be referenced.
|
|
singletons
File '/home/runner/work/dafny/dafny/dafny/Binaries/publish/DafnyRuntimeRust/.gitignore' was not added to the package. Files and folders starting with '.' or ending with '.nupkg' are excluded by default. To include this file, use -NoDefaultExcludes from the commandline
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
unit-test-results-macos-11
Expired
|
120 MB |
|
|
unit-test-results-ubuntu-20.04
Expired
|
120 MB |
|
|
unit-test-results-windows-2019
Expired
|
123 MB |
|