Windows CI

Ltac2: remove redundant constr_constructor external #2197

Triggered via push September 28, 2023 15:09

SkySkimmer

ltac2-constructor

Status Success

Total duration 1h 16m 20s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB