Skip to content
GitHub macOS CI

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

Sign in to view logs

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

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

Triggered via push October 4, 2023 14:09
@SkySkimmerSkySkimmer
pushed e6a9578
master
Status Success
Total duration 38m 24s
Artifacts –

ci-macos.yml

on: push
macOS
38m 9s
macOS
Fit to window
Zoom out
Zoom in