I am wondering which cloud infrastructure is used for the development of Julia, in particular for the build server(s). Is it azure devops, or amazon web services or what else?
There is a pretty good overview by Elliot here, although I believe the aarch64 buildbots are now AWS Graviton instances. As the title of the issue says, there are plans for moving to a more standardized solution in the future.
Very interesting. One thing is not so clear to me. The issue says: " it must support runners on all platforms Julia itself is built on".
What is the meaning of “runners” in this context? (I cannot google for “runners”, too many matches…)
I think in this instance it’s just the container or script that runs the various build steps.