Ali Caglayan (Jun 24 2022 at 11:43): Ali Caglayan (Jun 24 2022 at 11:43):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.
Ali Caglayan (Jun 24 2022 at 11:43):There are some issues standing however, such as with the jobs in the CI.
Ali Caglayan (Jun 24 2022 at 11:45):I see that performance tests takes around 00:23:58 before
Ali Caglayan (Jun 24 2022 at 11:46):Now it hit the limit, looks like it was restarted, let's see what is happening.
Ali Caglayan (Jun 24 2022 at 11:47):fiat-crypto was also taking 1:40
Ali Caglayan (Jun 24 2022 at 11:49):Logs for an old fiat-crypto job don't show COQNATIVE
Ali Caglayan (Jun 24 2022 at 11:49): Ali Caglayan (Jun 24 2022 at 11:50):But the new one does
Ali Caglayan (Jun 24 2022 at 11:50):https://gitlab.com/coq/coq/-/jobs/2636082744
Ali Caglayan (Jun 24 2022 at 11:50):I can't tell if this is because some hiding flags were tweaked
Last updated: Feb 01 2023 at 15:04 UTC