Skip to content
Back to pull request #4834

Fix: No more spurious restart needed in the IDE #16272

Sign in to view logs

Fix: No more spurious restart needed in the IDE

Fix: No more spurious restart needed in the IDE #16272

Re-run triggered December 1, 2023 18:00
@MikaelMayerMikaelMayer
#4834
fix-4833-ide-unstable
Status Success
Total duration 15m 22s
Artifacts 5

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
Matrix: xunit-tests / build
integration-tests  /  populate-matrix-dimensions
0s
integration-tests / populate-matrix-dimensions
singletons
3m 3s
singletons
Matrix: integration-tests / test
test-coverage-analysis
1m 21s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

3 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

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04 Expired
112 MB
test-coverage-results Expired
256 MB
unit-test-results-macos-11 Expired
121 MB
unit-test-results-ubuntu-20.04 Expired
142 MB
unit-test-results-windows-2019 Expired
123 MB