Skip to content

Fix: Formatting within the IDE wasn't working anymore #13812

Fix: Formatting within the IDE wasn't working anymore

Fix: Formatting within the IDE wasn't working anymore #13812

Re-run triggered July 14, 2023 16:12
Status Success
Total duration 30m 37s
Artifacts 5

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
9s
check-deep-tests / check-deep-tests
Matrix: xunit-tests / build
integration-tests  /  populate-matrix-dimensions
2s
integration-tests / populate-matrix-dimensions
Matrix: integration-tests / test
test-coverage-analysis
2m 0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

36 warnings
singletons: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
singletons: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
singletons: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
singletons: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
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: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
singletons: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
xunit-tests / osx: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
xunit-tests / osx: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
xunit-tests / osx: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
xunit-tests / osx: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
xunit-tests / osx: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
xunit-tests / osx: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
xunit-tests / ubuntu-20.04: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
xunit-tests / ubuntu-20.04: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
xunit-tests / ubuntu-20.04: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
xunit-tests / ubuntu-20.04: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
xunit-tests / ubuntu-20.04: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
xunit-tests / ubuntu-20.04: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
xunit-tests / win: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
xunit-tests / win: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
xunit-tests / win: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
xunit-tests / win: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
xunit-tests / win: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
xunit-tests / win: Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04 Expired
99.4 MB
test-coverage-results Expired
233 MB
unit-test-results-macos-11 Expired
119 MB
unit-test-results-ubuntu-20.04 Expired
120 MB
unit-test-results-windows-2019 Expired
158 MB