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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
38m 9s
38m 9s