Use rocq pp-mlg for rocq-runtime files, move coqpp back to `coq-c…
#4368
| Job | Run time |
|---|---|
| 2m 15s | |
| 2m 15s |
rocq pp-mlg for rocq-runtime files, move coqpp back to `coq-c…
#4368
| Job | Run time |
|---|---|
| 2m 15s | |
| 2m 15s |