chore: Update Windows CI runners to windows-2022 · dafny-lang/dafny@96ad34b

Triggered via pull request July 4, 2025 01:33

fabiomadge

synchronize #6292

Status Success

Total duration 2m 34s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

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