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

Triggered via pull request July 1, 2025 19:17

fabiomadge

synchronize #6292

Status Success

Total duration 2m 55s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:0a95fd7f122c97abbedf0b16d56f6a390321faaca46c2737377374575b46dde1`