I want to merge https://github.com/coq/coq/pull/15560 today so we have time to fix any issues that occur and not do it when people are working during the week.
There are some issues standing however, such as with the jobs in the CI.
I see that performance tests takes around 00:23:58 before
Now it hit the limit, looks like it was restarted, let's see what is happening.
fiat-crypto was also taking 1:40
Logs for an old fiat-crypto job don't show COQNATIVE
But the new one does
I can't tell if this is because some hiding flags were tweaked
Last updated: Feb 01 2023 at 15:04 UTC