Windows CI

Merge PR #18057: Add `iff` versions of two stdlib bool lemmas #2200

Triggered via push September 29, 2023 10:42

SkySkimmer

master

Status Success

Total duration 1h 21m 52s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB