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

Triggered via pull request July 1, 2025 15:50

fabiomadge

synchronize #6292

Status Success

Total duration 2m 38s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

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