Skip to content
Build DafnyRef.pdf

fix: Add null check for reveal statement resolved statements #20202

Sign in to view logs

fix: Add null check for reveal statement resolved statements

fix: Add null check for reveal statement resolved statements #20202

Triggered via pull request June 30, 2025 20:59
@fabiomadgefabiomadge
opened #6290
fix-issue-6268
Status Success
Total duration 2m 37s
Artifacts 1

refman.yml

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

Artifacts

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