Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Somewhere along the line, the variable used for naming the .zip created for linux builds in CI got messed up. Let's fix it, even if we're about to disable creation of these in the next commit.
- Loading branch information