Skip to content

release script fixes#2861

Merged
michaelpj merged 2 commits into
masterfrom
release-script-fixes
Apr 28, 2022
Merged

release script fixes#2861
michaelpj merged 2 commits into
masterfrom
release-script-fixes

Conversation

@wz1000

@wz1000 wz1000 commented Apr 27, 2022

Copy link
Copy Markdown
Collaborator
  • gitlab-ci: Fix executable extension on windows
  • Also recognize gz files in upload script

@wz1000
wz1000 requested review from hasufell and jneira as code owners April 27, 2022 08:22
@michaelpj
michaelpj merged commit a541ae8 into master Apr 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants