fix(build): generate emscripten zip for releases (#92)

leanprover-community · Dec 27, 2019 · 03be22c · 03be22c
1 parent 217862b
commit 03be22c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.appveyor.yml b/.appveyor.yml
@@ -52,7 +52,8 @@ artifacts:
 deploy:
   description: 'Lean release'
   provider: GitHub
-  auth_token: $GH_TOKEN
+  auth_token:
+    secure: RYr9wiQIKqLfdZOylBUgH7Sz75GsABIhiWcPXNjO3DstXw8Fxe3jdkr23IJUIfyF
   artifact: binary
   draft: false
   prerelease: false

diff --git a/.travis.yml b/.travis.yml
@@ -141,10 +141,10 @@ matrix:
        - while sleep 5m; do echo "=====[ $SECONDS seconds ]====="; done & # https://blog.humphd.org/building-large-code-on-travis/
        - docker exec -it -e "OPTIONS=$OPTIONS" emscripten script/ci_emscripten_docker.sh
        - pkill -9 sleep
+       - bash script/ci_emscripten_zip.sh
        - |
          if [[ $GH_TOKEN && $TRAVIS_PULL_REQUEST == false && $TRAVIS_BRANCH == master ]]
           then
-          bash script/ci_emscripten_zip.sh
           bash script/deploy_nightly.sh build/lean-*
          fi