Skip to content
Build and Test

chore(deps): bump pozetroninc/github-action-get-latest-release from 0.5.0 to 0.8.0 #1

Sign in to view logs

chore(deps): bump pozetroninc/github-action-get-latest-release from 0.5.0 to 0.8.0

chore(deps): bump pozetroninc/github-action-get-latest-release from 0.5.0 to 0.8.0 #1

Triggered via pull request July 12, 2024 14:00
@dependabotdependabot[bot]
opened #1
dependabot/github_actions/pozetroninc/github-action-get-latest-release-0.8.0
Status Queued
Total duration –
Artifacts 7

msbuild.yml

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

Annotations

58 errors and 146 warnings
xunit-tests / ubuntu-20.04 (1)
Preprocessor directive expected
xunit-tests / ubuntu-20.04 (1)
Preprocessor directive expected
xunit-tests / ubuntu-20.04 (1)
Preprocessor directive expected
xunit-tests / ubuntu-20.04 (1)
Process completed with exit code 1.
xunit-tests / win (1)
Preprocessor directive expected
xunit-tests / win (1)
Preprocessor directive expected
xunit-tests / win (1)
Preprocessor directive expected
xunit-tests / win (1)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 2)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 2)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 2)
expected declaration, found L0
integration-tests / test (ubuntu-20.04, 2)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 2)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 2)
expected declaration, found L0
integration-tests / test (ubuntu-20.04, 2)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 2)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 2)
expected declaration, found L0
integration-tests / test (ubuntu-20.04, 2)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 1)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 1)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 1)
illegal character U+0023 '#'
integration-tests / test (ubuntu-20.04, 1)
expected '(', found New_Uint32_
integration-tests / test (ubuntu-20.04, 1)
missing ',' in parameter list
integration-tests / test (ubuntu-20.04, 1)
expected ')', found 'return'
integration-tests / test (ubuntu-20.04, 1)
expected ')', found '}'
integration-tests / test (ubuntu-20.04, 1)
expected ')', found 'type'
integration-tests / test (ubuntu-20.04, 1)
missing ',' in parameter list
integration-tests / test (ubuntu-20.04, 1)
expected ')', found 'var'
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 4)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 3)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
integration-tests / test (ubuntu-20.04, 5)
undefined: Assert
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
singletons: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
xunit-tests / win (1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04-1 Expired
20.2 MB
integration-test-results-ubuntu-20.04-2 Expired
20 MB
integration-test-results-ubuntu-20.04-3 Expired
19.9 MB
integration-test-results-ubuntu-20.04-4 Expired
21.1 MB
integration-test-results-ubuntu-20.04-5 Expired
25.1 MB
unit-test-results-ubuntu-20.04 Expired
9.09 MB
unit-test-results-windows-2019 Expired
9.05 MB