Now that we have GitHub Actions, you can download ...
# core
a
Now that we have GitHub Actions, you can download artifacts from there too, here's a quick howto