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

Triggered via pull request July 3, 2025 00:23

fabiomadge

synchronize #6292

Status Success

Total duration 2m 48s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

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