Skip to content
Build DafnyRef.pdf

Enable isolating all return statements #18760

# to view logs

Enable isolating all return statements

Enable isolating all return statements #18760

Triggered via pull request November 15, 2024 14:51
@keyboardDrummerkeyboardDrummer
synchronize #5917
keyboardDrummer:isolateAllReturns
Status Cancelled
Total duration 2m 0s
Artifacts –

refman.yml

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

Annotations

1 error
check-deep-tests / check-deep-tests
Canceling since a higher priority waiting request for 'Build DafnyRef.pdf-refs/pull/5917/merge' exists