Stream: math-comp devs

Topic: CI broken?

view this post on Zulip Laurent Théry (Mar 01 2023 at 13:11):

is the CI of mathcomp broken ( failed job)?

view this post on Zulip Karl Palmskog (Mar 01 2023 at 13:24):

that's what I reported here, I don't think Erik has had opportunity to take a look. What has happened is likely that the (Inria) runners that build the Docker containers have failed in some way, maybe @Maxime Dénès could take a look

view this post on Zulip Laurent Théry (Mar 01 2023 at 13:26):

my error looked more like a nix problem no?

view this post on Zulip Karl Palmskog (Mar 01 2023 at 13:28):

ah sorry, you're right, this looks like a pure Nix problem, specifically with the Cachix caching

view this post on Zulip Théo Zimmermann (Mar 01 2023 at 13:31):

There was a report earlier today of a Nix CI problem on MetaCoq, so it looks like this is more general? I didn't look into the failures yet.

view this post on Zulip Cyril Cohen (Mar 01 2023 at 13:53):

looks like we need to upgrade cachix action to v12

view this post on Zulip Cyril Cohen (Mar 01 2023 at 13:58):

https://github.com/coq-community/coq-nix-toolbox/pull/135

view this post on Zulip Laurent Théry (Mar 01 2023 at 14:17):

not enough :sad:
job failed

view this post on Zulip Cyril Cohen (Mar 01 2023 at 14:19):

Laurent Théry said:

not enough :sad:
job failed

Yes enough, this is an "old job"

view this post on Zulip Cyril Cohen (Mar 01 2023 at 14:19):

Github feels obliged to run both the previous and the new version of the action

view this post on Zulip Cyril Cohen (Mar 01 2023 at 14:20):

Oh and the update is not "automatic", you must run the "updateNixToolBox" then "genNixActions" in the repo

view this post on Zulip Cyril Cohen (Mar 01 2023 at 14:21):

This is both the advantage and drawback of "deterministic" runs

view this post on Zulip Cyril Cohen (Mar 01 2023 at 14:22):

Cyril Cohen said:

Oh and the update is not "automatic", you must run the "updateNixToolBox" then "genNixActions" in the repo

I'm doing it

view this post on Zulip Laurent Théry (Mar 01 2023 at 14:34):

Not sure what you mean about deterministic, I do rerun failed jobs in my PR on github and it fails again : failed job. How should I trigger it?

view this post on Zulip Cyril Cohen (Mar 01 2023 at 14:53):

https://github.com/math-comp/math-comp/pull/973

view this post on Zulip Laurent Théry (Mar 01 2023 at 15:03):

ok did a rebase. It seems to go and find cachix :tada:

view this post on Zulip Laurent Théry (Mar 01 2023 at 15:04):

thanks

view this post on Zulip Notification Bot (Mar 01 2023 at 15:04):

Laurent Théry has marked this topic as resolved.

view this post on Zulip Pierre Roux (Mar 01 2023 at 15:53):

Laurent Théry said:

Not sure what you mean about deterministic, I do rerun failed jobs in my PR on github and it fails again

Well, that sounds pretty deterministic to me :grinning:

view this post on Zulip Karl Palmskog (Mar 02 2023 at 16:49):

@Théo Zimmermann it looks like we have the same cachix issue now in Coq-community (https://github.com/coq-community/reglang/actions/runs/4316263029/jobs/7531802628). What is the recommendation to fix?

view this post on Zulip Cyril Cohen (Mar 02 2023 at 19:05):

Hi @Karl Palmskog I just posted a message with the procedure to follow here
https://coq.zulipchat.com/#narrow/stream/290990-Nix-toolbox-devs-.26-users/topic/Recent.20github.20action.20failures/near/339183907
If you're having trouble please follow-up there.

view this post on Zulip Notification Bot (Mar 03 2023 at 01:23):

Jason Gross has marked this topic as unresolved.

view this post on Zulip Jason Gross (Mar 03 2023 at 01:23):

I rebased https://github.com/math-comp/math-comp/pull/790 to take advantage of the (hopefully?) fixed CI, but now the CI is not running at all on the PR?

Last updated: May 28 2023 at 18:29 UTC