Windows CI

Ltac2: add Char.of_int_opt #4314

Triggered via push December 18, 2024 11:39

SkySkimmer

ltac2-char-int-opt

Status Success

Total duration 1h 3m 34s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer	131 MB