bump_toolchain_nightly-testing.yml failing

Stream: CSLib

[Chris Henson]

See this log. I don't understand the error, the curl/jq command works fine for me locally.

[Kim Morrison]

Hopefully this is irrelevant now, I've been rewriting this workflow today. (Still not there, I've run into cache issues that need some thought.)

[Chris Henson]

There is another failure, but I think it's because here we have a check that the toolchain matches the docs toolchain. I guess this can be fixed by only running that on the main branch?

[Kim Morrison]

Yes. Would you be able to make that change?

[Chris Henson]

Yes, I can. Thanks for the help!

[Chris Henson]

The lastest run is failing, but in a new way (progress, yay!). Something about the remote setup for Mathlib.

[Kim Morrison]

This is the issue being discussed at #ecosystem infrastructure > `cache get` fails when depending on Mathlib nightly-testing @ 💬