Merge PR #18105: Rename perf/perf.c into perf/coq_perf.c
#4030
| Job | Run time |
|---|---|
| 5s | |
| 5s |
perf/perf.c into perf/coq_perf.c
#4030
| Job | Run time |
|---|---|
| 5s | |
| 5s |