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

Triggered via pull request July 1, 2025 14:43

fabiomadge

synchronize #6292

Status Success

Total duration 12m 18s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:78e14bfdc58b2b102841df86a1af22ab7c66cd4728a39be69223465b8624477c`