Notice that the per file statistics from
perf talk about
cycles:u in the RefinedC job, whereas in Diaframe it is just
Consequently, for Diaframe the
curl request to coq-speed complains about an invalid syntax. I tried manually uploading the build-times, replacing
instructions:u and then coq-speed no longer complains.
It seems to me that specifying
-e instructions,cycles actually results in the intended
-e instructions:u,cycles:u on the MPI runner, but not on the Radboud Runner. This change should fix that and be compatible with both.