Skip to content
Build and Test

Split off parts of single pass compiler #18409

Sign in to view logs

Split off parts of single pass compiler

Split off parts of single pass compiler #18409

Triggered via pull request June 4, 2024 14:43
@keyboardDrummerkeyboardDrummer
synchronize #5526
keyboardDrummer:splitOffPartsOfSinglePassCompiler
Status Success
Total duration 4h 8m 1s
Artifacts 9

msbuild.yml

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

Annotations

36 warnings
singletons: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
singletons: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
singletons: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
singletons: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
singletons: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
singletons: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
singletons: Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
singletons: Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 3): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 5): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 2): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 4): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
xunit-tests / ubuntu-20.04 (1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
xunit-tests / ubuntu-20.04 (1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
xunit-tests / ubuntu-20.04 (1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
xunit-tests / ubuntu-20.04 (1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
xunit-tests / ubuntu-20.04 (1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
xunit-tests / ubuntu-20.04 (1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
integration-tests / test (ubuntu-20.04, 1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
xunit-tests / win (1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
xunit-tests / win (1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
xunit-tests / win (1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
xunit-tests / win (1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
xunit-tests / win (1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
xunit-tests / win (1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
xunit-tests / osx (1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
xunit-tests / osx (1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
xunit-tests / osx (1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
xunit-tests / osx (1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
xunit-tests / osx (1): Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
xunit-tests / osx (1): Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04-1 Expired
1.57 MB
integration-test-results-ubuntu-20.04-2 Expired
1.56 MB
integration-test-results-ubuntu-20.04-3 Expired
1.58 MB
integration-test-results-ubuntu-20.04-4 Expired
1.58 MB
integration-test-results-ubuntu-20.04-5 Expired
1.58 MB
test-coverage-results Expired
25.7 MB
unit-test-results-macos-11 Expired
6.48 MB
unit-test-results-ubuntu-20.04 Expired
9.02 MB
unit-test-results-windows-2019 Expired
8.98 MB