Skip to content

Fix: @VerifyOnly now working as expected #20245

Fix: @VerifyOnly now working as expected

Fix: @VerifyOnly now working as expected #20245

Triggered via pull request July 3, 2025 14:33
Status Success
Total duration 2m 31s
Artifacts 1

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
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:67cca905c3287478b2d9c1c1f63e1b0e599da85b2851c33fefad6fc3fef371f6