Skip to content
Build and Test

Prevent the IDE from locking up when certain parse error occur #14989

Sign in to view logs

Prevent the IDE from locking up when certain parse error occur

Prevent the IDE from locking up when certain parse error occur #14989

Triggered via pull request August 31, 2023 16:53
@keyboardDrummerkeyboardDrummer
opened #4495
keyboardDrummer:ownedTokensParseErrorFix
Status Success
Total duration 56m 18s
Artifacts 5

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
10s
check-deep-tests / check-deep-tests
Matrix: xunit-tests / build
integration-tests  /  populate-matrix-dimensions
2s
integration-tests / populate-matrix-dimensions
singletons
3m 22s
singletons
Matrix: integration-tests / test
test-coverage-analysis
4m 12s
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/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
117 MB
test-coverage-results Expired
240 MB
unit-test-results-macos-11 Expired
118 MB
unit-test-results-ubuntu-20.04 Expired
118 MB
unit-test-results-windows-2019 Expired
120 MB