chore: Revert "feat: Benchmarking plugin (#4215)" #13795
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
8s
Matrix: xunit-tests / build
singletons
3m 54s
Matrix: integration-tests / test
test-coverage-analysis
0s
Annotations
1 error and 47 warnings
check-deep-tests / check-deep-tests
Last run of deep-tests.yml did not succeed: https://github.com/dafny-lang/dafny/actions/runs/5544396548
|
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.
|
integration-tests / test (ubuntu-latest, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 1)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-20.04, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 2)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 5)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (ubuntu-latest, 3)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
integration-tests / test (macos-latest, 4)
One of '--self-contained' or '--no-self-contained' options are required when '--runtime' is used.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
integration-test-results-macos-latest
Expired
|
97.6 MB |
|
integration-test-results-ubuntu-20.04
Expired
|
97.5 MB |
|
integration-test-results-ubuntu-latest
Expired
|
97.5 MB |
|
integration-test-results-windows-2019
Expired
|
98.8 MB |
|
unit-test-results-macos-11
Expired
|
119 MB |
|
unit-test-results-ubuntu-20.04
Expired
|
119 MB |
|
unit-test-results-windows-2019
Expired
|
122 MB |
|