Stream: Coq devs & plugin devs

Topic: Big Dune PR incomming


view this post on Zulip 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.

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:43):

There are some issues standing however, such as with the jobs in the CI.

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:45):

I see that performance tests takes around 00:23:58 before

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:46):

Now it hit the limit, looks like it was restarted, let's see what is happening.

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:47):

fiat-crypto was also taking 1:40

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:49):

Logs for an old fiat-crypto job don't show COQNATIVE

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:49):

https://storage.googleapis.com/gitlab-gprd-artifacts/e9/08/e90857e7bd14c877063362e92560ccc07e3c490623d322542e6f83f13867d6d1/2022_06_23/2633357042/2885315330/job.log?response-content-type=text%2Fplain%3B%20charset%3Dutf-8&response-content-disposition=inline&GoogleAccessId=gitlab-object-storage-prd@gitlab-production.iam.gserviceaccount.com&Signature=Ol21F6R%2FWa5upZ7WHVkV%2FA42%2B8FvA97ou3G766Mta7I5UncLvefxCjAIkxL2%0AMiW7EEYJN5sqJlq8oAcOwzlCguQr633EZ7yz%2B935CKEC7o43U%2FHqiCr068Sy%0AGFz0Y4GWepP4URkzXCj7ejXEpWjAOVb4DGh4xV48zMfOEVdbTMtHQqSBAy%2B9%0A4qomHpj%2BfRMutjiEihbqvsRIg8Lp75qqc7ClRSSqTI59EGsrq2rk%2BVy%2BcZT0%0AFgnCyx%2BPSAYDlZcqNMP104zROqTlb138%2BJF1BKqPPOUoIksEwGIhzP0c6ZRu%0AenSuhbr5h6H%2BcLcTfIfpJPSIk14Ye6QC154TCHCoAw%3D%3D&Expires=1656071966

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:50):

But the new one does

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:50):

https://gitlab.com/coq/coq/-/jobs/2636082744

view this post on Zulip 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