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

Triggered via pull request July 2, 2025 19:12

fabiomadge

synchronize #6292

Status Success

Total duration 2m 44s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

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