chore: fix printing unresolved datatype values · dafny-lang/dafny@ba8162a

Triggered via pull request June 18, 2025 18:57

alex-chew

opened #6275

Status Success

Total duration 2m 48s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:05d96bb979516ba57379023e22008a68b6e5e17695069a61689782da7357bd6b`