Github releases is now finally zipping and creating release on push with v* tag

Author: FelixSelter

.github/workflows/release.yml

@@ -14,11 +14,11 @@ jobs:
         uses: actions/checkout@v1
 
       - name: "Zip files"
-        run: "zip -r release.zip src/ jenv.bat java.bat"
+        run: "zip -r JEnv.zip src/ jenv.bat java.bat"
 
       - name: "Create Release"
         uses: "marvinpinto/action-automatic-releases@latest"
         with:
           repo_token: "${{ secrets.GITHUB_TOKEN }}"
           prerelease: false
-          files: release.zip
+          files: JEnv.zip