Windows CI

Ltac2: Fresh.Free.t = ident FSet.t #2218

Triggered via push October 4, 2023 11:12

SkySkimmer

ltac2-fresh-set

Status Success

Total duration 1h 0m 7s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB