Skip to content

Include gzipped version of assets in console tarball#1031

Merged
david-crespo merged 4 commits into
mainfrom
gzip-assets
Jul 5, 2022
Merged

Include gzipped version of assets in console tarball#1031
david-crespo merged 4 commits into
mainfrom
gzip-assets

don't run on PRs but keep the bit where we got rid of main.tar.gz

e74a304
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs