Windows CI

Merge PR #18105: Rename `perf/perf.c` into `perf/coq_perf.c` #2222

Triggered via push October 4, 2023 14:09

SkySkimmer

master

Status Success

Total duration 1h 14m 11s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB