Skip to content
Build and Test Dafny Runtimes

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

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

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

runtime-tests.yml

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

Annotations

2 errors
build
Process completed with exit code 2.
Build and Test Dafny Runtimes
Canceling since a higher priority waiting request for Build and Test Dafny Runtimes-refs/pull/6214/merge exists