diff --git a/.circleci/config.yml b/.circleci/config.yml index efbf0bb75..73ffd7575 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -77,6 +77,9 @@ jobs: - ./pyodide-env - ./firefox + - store_artifacts: + path: /home/circleci/repo/build/ + test-firefox: <<: *defaults steps: @@ -111,9 +114,6 @@ jobs: export PATH=$PWD/firefox:$PATH pytest test -v -k chrome - - store_artifacts: - path: /home/circleci/repo/build/ - deploy: machine: enabled: true diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index 0596ae6c4..a541007c7 100755 --- a/.circleci/deploy.sh +++ b/.circleci/deploy.sh @@ -7,7 +7,11 @@ git checkout --orphan tmp git add * git config --global user.email "deploybot@nowhere.com" git config --global user.name "Deploybot" -git commit -m "Deployed from Circle-CI $CIRCLE_BUILD_NUM" +git commit -m << END +Deployed from Circle-CI $CIRCLE_BUILD_NUM" + +Version $(git describe --tags --always) +END git checkout master git reset --hard tmp git push origin -f master