Théo Zimmermann (Dec 07 2020 at 09:13): 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.
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).
Théo Zimmermann (Dec 07 2020 at 09:16):If some Homebrew user wants to help debug and fix this, we'll be grateful!
Enrico Tassi (Dec 07 2020 at 09:17):Can we reset the VMs? it seems it is the clean phase of homebrew that fails
Enrico Tassi (Dec 07 2020 at 09:18):which I imagine can be avoided by starting afresh
Enrico Tassi (Dec 07 2020 at 09:18):BTW, who has the rights to log in azure?
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)
Enrico Tassi (Dec 07 2020 at 09:28):401 - Uh-oh, you do not have access.
Enrico Tassi (Dec 07 2020 at 09:29):This is using my personal account on "microsoft"
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?
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.
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.
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).
Enrico Tassi (Dec 07 2020 at 09:56):The log says "brew clean did not run in the last 30 days"...
Enrico Tassi (Dec 07 2020 at 09:56):there must be some state
Enrico Tassi (Dec 07 2020 at 10:00):No way, it seems login via gihub does not work for me
Gaëtan Gilbert (Dec 07 2020 at 10:35):I don't see any state on azure
Enrico Tassi (Dec 07 2020 at 12:23):I've disabled brew cleanup and it seems to continue the build fine now
Enrico Tassi (Dec 07 2020 at 12:24):I guess it's fine for v8.13, not sure for master
Last updated: Jun 08 2023 at 04:01 UTC