Skip to content
Windows CI

Add Ltac2.Constr.{is_float,is_uint63,is_array} #6693

Sign in to view logs

Add Ltac2.Constr.{is_float,is_uint63,is_array}

Add Ltac2.Constr.{is_float,is_uint63,is_array} #6693

Triggered via pull request July 26, 2023 20:17
@JasonGrossJasonGross
synchronize #17894
JasonGross:is_float
Status Success
Total duration 1h 4m 8s
Artifacts 1

ci-windows.yml

on: pull_request
Matrix: Windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
windows-installer Expired
131 MB