Stream: Coq Platform devs & users

Topic: Snap CI issues


view this post on Zulip Michael Soegtrop (Dec 02 2022 at 07:26):

@Enrico Tassi : can you have a look at this CI run - it did work the night before. I did restart it - it is not an intermittent issue.

view this post on Zulip Enrico Tassi (Dec 02 2022 at 07:52):

it seems a connectivity issue, security.ubuntu.com down...

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:32):

@Enrico Tassi I don't quite get what is going on. security.ubuntu.com seems to work from 3 different networks I tried. Still CI fails consistently. Is the name server of github broken?

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:34):

According to https://status.canonical.com/ the security archive is on

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:36):

not the DNS, since mine resolves to the same IPs...

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:37):

The same CI cannot reach

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:39):

Actually, there is the VM and the LXD container.. it could also be there the problem, but we just call an existing action

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:40):

Yes, this is also what I see. So Github network infrastructure is broken? That's what I meant with name server - the github internal name server (I guess they have one - even I have a few).

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:40):

Yes and interestingly it did work until last night.

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:41):

Maybe I try a local build.

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:41):

I would try to update the snapcraft action to 1.2

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:42):

OK, let me piggy back this in the 2022.09.1 PR.

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:42):

sorry, I was looking at the wrong action

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:43):

You mean snapcore/action-build@v1.0.9?

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:43):

There is version 1.1.2 while we run 1.0.9

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:44):

yes

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:44):

OK, I try this.

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:44):

Thanks!

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:45):

Look here: https://github.com/snapcore/action-build/commit/07c9fa149882563bf8edc39c35023e4ae6148a46

view this post on Zulip Enrico Tassi (Dec 02 2022 at 12:45):

I've no clue, but seems worth trying

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:47):

I see. The PR is running - we should know in a few minutes (it usually fails after 5).

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 12:57):

Seems to have worked - the job runs since 10 minutes now ...

view this post on Zulip Enrico Tassi (Dec 02 2022 at 13:24):

Great.
Maybe we can just use @v1 , so that all minor version are automatic. This is what they recommend usually.

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 13:36):

I see. I guess I should do this with all actions we use ...

view this post on Zulip Michael Soegtrop (Dec 02 2022 at 13:37):

But after the release.

view this post on Zulip Enrico Tassi (Dec 03 2022 at 12:40):

Good we found the issue, since I had to rebuild the installers for the school and I was hit by that too.


Last updated: Jan 30 2023 at 11:03 UTC