It appears that GitHub's upload-artifact action uploads individual files rather than a zip or other archive of all files. Initially, I implemented zipping in gha-build (649f2d5d) but I never implemented unzipping in gha-publish. Anyway, we could probably save a bit of bandwidth and some time, if we actually did implement zip/unzip for artifacts.
_edit/side note: [It would be much nicer to be able to use volumes but it appears that only works within a single job, not as a way of sharing data between 8 independent build jobs + 1 publish job. :(( ]_
It appears that GitHub's upload-artifact action uploads individual files rather than a zip or other archive of all files. Initially, I implemented zipping in gha-build (649f2d5d) but I never implemented unzipping in gha-publish. Anyway, we could probably save a bit of bandwidth and some time, if we actually did implement zip/unzip for artifacts.
_edit/side note: [It would be much nicer to be able to use volumes but it appears that only works within a single job, not as a way of sharing data between 8 independent build jobs + 1 publish job. :(( ]_