Follow-up changes related to BoundedInts #16609
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
6s
Matrix: xunit-tests / build
singletons
2m 48s
Matrix: integration-tests / test
test-coverage-analysis
0s
Annotations
12 errors and 13 warnings
integration-tests / test (ubuntu-20.04, 5)
RPC failed; HTTP 500 curl 22 The requested URL returned error: 500
|
integration-tests / test (ubuntu-20.04, 5)
expected 'packfile'
|
integration-tests / test (ubuntu-20.04, 5)
clone of 'https://github.com/dafny-lang/libraries.git' into submodule path '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/libraries' failed
|
integration-tests / test (ubuntu-20.04, 5)
RPC failed; HTTP 500 curl 22 The requested URL returned error: 500
|
integration-tests / test (ubuntu-20.04, 5)
expected 'packfile'
|
integration-tests / test (ubuntu-20.04, 5)
clone of 'https://github.com/dafny-lang/libraries.git' into submodule path '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/libraries' failed
|
integration-tests / test (ubuntu-20.04, 5)
The process '/usr/bin/git' failed with exit code 1
|
integration-tests / test (ubuntu-20.04, 1)
unable to access 'https://github.com/dafny-lang/libraries.git/': The requested URL returned error: 500
|
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
|
xunit-tests / osx
Canceling since there was an unexpected error with the concurrency group 'Build and Test-refs/pull/4740/merge'.
|
xunit-tests / win
Canceling since there was an unexpected error with the concurrency group 'Build and Test-refs/pull/4740/merge'.
|
Build and Test
GitHub Actions has encountered an internal error when running your job.
|
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, 1)
Failed to download action 'https://api.github.com/repos/actions/setup-python/tarball/0a5c61591373683505ea898e09a3ea4f39ef2b9c'. Error: Response status code does not indicate success: 500 (Internal Server Error).
|
integration-tests / test (ubuntu-20.04, 1)
Back off 21.528 seconds before retry.
|
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/net6.0/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
|
integration-tests / test (ubuntu-20.04, 2)
Failed to download action 'https://api.github.com/repos/actions/setup-java/tarball/387ac29b308b003ca37ba93a6cab5eb57c8f5f93'. Error: Response status code does not indicate success: 500 (Internal Server Error).
|
integration-tests / test (ubuntu-20.04, 2)
Back off 29.267 seconds before retry.
|
integration-tests / test (ubuntu-20.04, 2)
Failed to download action 'https://api.github.com/repos/actions/setup-python/tarball/0a5c61591373683505ea898e09a3ea4f39ef2b9c'. Error: Response status code does not indicate success: 500 (Internal Server Error).
|
integration-tests / test (ubuntu-20.04, 2)
Back off 25.061 seconds before retry.
|
xunit-tests / win
Failed to download action 'https://api.github.com/repos/actions/setup-dotnet/zipball/4d6c8fcf3c8f7a60068d26b594648e99df24cee3'. Error: Response status code does not indicate success: 500 (Internal Server Error).
|
xunit-tests / win
Back off 29.905 seconds before retry.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
integration-test-results-ubuntu-20.04
Expired
|
67.1 MB |
|
unit-test-results-ubuntu-20.04
Expired
|
121 MB |
|