Skip to content
Build DafnyRef.pdf

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 Success
Total duration 3m 38s
Artifacts 1

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
8s
check-deep-tests / check-deep-tests
Matrix: build-refman
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L639
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1104
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1107
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1110
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1113
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1116
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1132
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1135
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1138
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/Backends/Python/PythonCodeGenerator.cs#L1141
Unreachable code detected

Artifacts

Produced during runtime
Name Size
DafnyRef Expired
1.46 MB