Skip to content
Test documentation

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 Failure
Total duration 19m 27s
Artifacts –

doc-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
doctests
19m 3s
doctests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 10 warnings
doctests
Process completed with exit code 1.
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
doctests: Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected