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

Triggered via pull request July 1, 2025 14:36

fabiomadge

opened #6292

Status Success

Total duration 2m 47s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

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