Skip to content
Build and Test Dafny Standard Libraries

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

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 #5329

Triggered via pull request July 10, 2025 12:29
@keyboardDrummerkeyboardDrummer
synchronize #6214
keyboardDrummer:includeAndTopLevelMembers
Status Failure
Total duration 14m 46s
Artifacts –

standard-libraries.yml

on: pull_request
check-deep-tests  /  check-deep-tests
8s
check-deep-tests / check-deep-tests
build
14m 26s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.