Windows CI

Fix ocamldebug load_printer calls after adding coq-core.perf #2210

Triggered via push October 2, 2023 13:27

SkySkimmer

fix-dbg

Status Success

Total duration 1h 18m 16s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB