Skip to content
Build DafnyRef.pdf

Add fix for exception that could occur when using includes and top level members #20296

Sign in to view logs

Add fix for exception that could occur when using includes and top level members

Add fix for exception that could occur when using includes and top level members #20296

Triggered via pull request July 10, 2025 16:04
@keyboardDrummerkeyboardDrummer
synchronize #6214
keyboardDrummer:includeAndTopLevelMembers
Status Cancelled
Total duration 2m 56s
Artifacts 1

refman.yml

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

Annotations

1 error
Build DafnyRef.pdf
Canceling since a higher priority waiting request for Build DafnyRef.pdf-refs/pull/6214/merge exists

Artifacts

Produced during runtime
Name Size Digest
DafnyRef Expired
1.47 MB
sha256:e932ca8ae3919cf1cc78c8a7965c0261a736aefcd9eb58296b8c9dddfa124423