Stream: Coq devs & plugin devs

Topic: Homebrew failing on release day RED ALERT


view this post on Zulip Théo Zimmermann (Dec 07 2020 at 09:13):

Homebrew has once again decided that it would be amusing to start failing 100% of the time starting on the day before the beta release day.

view this post on Zulip Théo Zimmermann (Dec 07 2020 at 09:16):

See https://dev.azure.com/coq/coq/_build/results?buildId=13834&view=logs&j=a5e52b91-c83f-5429-4a68-c246fc63a4f7&t=7d499b5d-1d92-5096-7919-3c7f8065da78, https://github.com/coq/coq/pull/13587#issuecomment-739783217 and https://dev.azure.com/coq/coq/_pipeline/analytics/stageawareoutcome?definitionId=1 (for the stats).

view this post on Zulip Théo Zimmermann (Dec 07 2020 at 09:16):

If some Homebrew user wants to help debug and fix this, we'll be grateful!

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:17):

Can we reset the VMs? it seems it is the clean phase of homebrew that fails

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:18):

which I imagine can be avoided by starting afresh

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:18):

BTW, who has the rights to log in azure?

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:23):

Also, this time it did work: https://github.com/coq/coq/pull/13580 (the only difference is the version printed by Coq)

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:28):

401 - Uh-oh, you do not have access.

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:29):

This is using my personal account on "microsoft"

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:30):

@Gaëtan Gilbert @Maxime Dénès do you have access to the admin interface of azure?

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:40):

Eh eh, if I log in with github I get

We're unable to complete your request

Microsoft account is experiencing technical problems. Please try again later.

view this post on Zulip Théo Zimmermann (Dec 07 2020 at 09:54):

I think Azure retrieves the list of users with some level of access to the GitHub repo (I don't know if it's write-access or admin-access), so it's important to log in with GitHub indeed.

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:55):

If you are logged in, can you check if the machines can be cleared (as in travis' "cache" thing).

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:56):

The log says "brew clean did not run in the last 30 days"...

view this post on Zulip Enrico Tassi (Dec 07 2020 at 09:56):

there must be some state

view this post on Zulip Enrico Tassi (Dec 07 2020 at 10:00):

No way, it seems login via gihub does not work for me

view this post on Zulip Gaëtan Gilbert (Dec 07 2020 at 10:35):

I don't see any state on azure

view this post on Zulip Enrico Tassi (Dec 07 2020 at 12:23):

I've disabled brew cleanup and it seems to continue the build fine now

view this post on Zulip Enrico Tassi (Dec 07 2020 at 12:24):

I guess it's fine for v8.13, not sure for master


Last updated: Oct 16 2021 at 01:03 UTC