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

Triggered via pull request July 3, 2025 17:20

fabiomadge

synchronize #6292

Status Success

Total duration 4m 18s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

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