diff options
author | Rasmus Andersson <rasmus@notion.se> | 2023-05-27 19:26:04 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2023-05-27 19:26:04 +0300 |
commit | 3c8e0fc741aff526f1d1d09995c18a475377f941 (patch) | |
tree | f8561cc81c4fe0fa11838ac6f0343583395f1fd3 | |
parent | 438af9f29b607b8717bda892a4fa2e36cea56057 (diff) | |
download | inter-3c8e0fc741aff526f1d1d09995c18a475377f941.tar.xz |
fix github CI buildv4.0-beta9
-rw-r--r-- | .github/workflows/build-fonts.yml | 3 | ||||
-rw-r--r-- | version.txt | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/build-fonts.yml b/.github/workflows/build-fonts.yml index b487036d2..01eb608f4 100644 --- a/.github/workflows/build-fonts.yml +++ b/.github/workflows/build-fonts.yml @@ -75,7 +75,8 @@ jobs: echo "inter_zip=$ZIP" >> $GITHUB_ENV echo "inter_zip_extras=$ZIP_EXTRAS" >> $GITHUB_ENV make -j zip zip_extras - mv build/release/*.zip ./ + mv build/release/*-extras.zip "$ZIP_EXTRAS" + mv build/release/*.zip "$ZIP" - name: Upload archive (unless tag) if: ${{ ! startsWith(github.ref, 'refs/tags/v') }} diff --git a/version.txt b/version.txt index 7371a1fd7..5186d0706 100644 --- a/version.txt +++ b/version.txt @@ -1 +1 @@ -4.00 +4.0 |