docs: Update book reference · dafny-lang/dafny@a7b3e1d

Re-run triggered June 20, 2025 13:35

fabiomadge

#6249

bor0:patch-1

Status Success

Total duration 3m 44s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:cf504ec916e8f00b921a4f2ac8c2264417fb672b0d672d92a793121a421b54e3`