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

Triggered via pull request July 2, 2025 19:23

fabiomadge

synchronize #6292

Status Success

Total duration 2m 30s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

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