chore: Update Windows CI runners to windows-2022 #20261
refman.yml
on: pull_request
check-deep-tests
/
check-deep-tests
7s
Matrix: build-refman
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
DafnyRef
Expired
|
1.47 MB |
sha256:98a8f0b87f0150004e3b8de41967447954bb552d299db1a201a07d14859e86a3
|
|