Monomorphic Field and collection types #16820
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
Matrix: xunit-tests / build
singletons
3m 18s
Matrix: integration-tests / test
test-coverage-analysis
52s
Annotations
13 warnings
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, 4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
integration-tests / test (ubuntu-20.04, 4)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
integration-tests / test (ubuntu-20.04, 1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
integration-tests / test (ubuntu-20.04, 1)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
integration-tests / test (ubuntu-20.04, 5)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
integration-tests / test (ubuntu-20.04, 5)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
integration-tests / test (ubuntu-20.04, 2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
integration-tests / test (ubuntu-20.04, 2)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
integration-tests / test (ubuntu-20.04, 3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
integration-tests / test (ubuntu-20.04, 3)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
integration-test-results-ubuntu-20.04-1
Expired
|
1.44 MB |
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.44 MB |
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.43 MB |
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.43 MB |
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.44 MB |
|
test-coverage-results
Expired
|
15.2 MB |
|
unit-test-results-macos-11
Expired
|
8.34 MB |
|
unit-test-results-ubuntu-20.04
Expired
|
8.37 MB |
|
unit-test-results-windows-2019
Expired
|
8.34 MB |
|