Add script to run Boogie with the args Dafny uses #16601
atombmsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
Matrix: xunit-tests / build
singletons
2m 57s
Matrix: integration-tests / test
test-coverage-analysis
0s
Annotations
2 errors and 34 warnings
|
xunit-tests / ubuntu-20.04
Process completed with exit code 1.
|
|
xunit-tests / osx
Process completed with exit code 1.
|
|
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, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-20.04, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-20.04, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-20.04, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-20.04, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-20.04, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-latest, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (macos-latest, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-latest, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-latest, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-latest, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-latest, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (macos-latest, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (windows-2019, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (windows-2019, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
|
integration-tests / test (macos-latest, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (macos-latest, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (macos-latest, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
integration-test-results-macos-latest
Expired
|
110 MB |
|
|
integration-test-results-ubuntu-20.04
Expired
|
110 MB |
|
|
integration-test-results-ubuntu-latest
Expired
|
110 MB |
|
|
integration-test-results-windows-2019
Expired
|
111 MB |
|
|
unit-test-results-macos-11
Expired
|
34.9 MB |
|
|
unit-test-results-ubuntu-20.04
Expired
|
20.8 MB |
|
|
unit-test-results-windows-2019
Expired
|
122 MB |
|