Skip to content
Build and Test Dafny Runtimes

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

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

Triggered via pull request July 11, 2025 09:49
@keyboardDrummerkeyboardDrummer
synchronize #6214
keyboardDrummer:includeAndTopLevelMembers
Status Success
Total duration 6m 48s
Artifacts –

runtime-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
check-deep-tests / check-deep-tests
build
6m 27s
build
Fit to window
Zoom out
Zoom in