1
0
Fork 0
mirror of synced 2025-09-23 04:08:33 +00:00

Add github release to release.sh script

This commit is contained in:
dark64 2022-07-12 13:28:33 +02:00
parent de7f73e234
commit 782bfc108d
2 changed files with 8 additions and 5 deletions

View file

@ -164,11 +164,6 @@ jobs:
name: "Publish artifacts on GitHub"
command: |
go install github.com/github-release/github-release@latest
github-release release \
-s ${GH_TOKEN} \
-u ${CIRCLE_PROJECT_USERNAME} \
-r ${CIRCLE_PROJECT_REPONAME} \
-t ${CIRCLE_TAG} || true
find /tmp/artifacts -type f -name *.tar.gz -exec basename {} \; | xargs -I {} github-release upload \
-s ${GH_TOKEN} \
-u ${CIRCLE_PROJECT_USERNAME} \

View file

@ -33,6 +33,14 @@ git tag -f $TAG
git push origin -f latest
git push origin $TAG
# Create a release draft
curl \
-X POST \
-H "Accept: application/vnd.github+json" \
-H "Authorization: token $GH_TOKEN" \
https://api.github.com/repos/Zokrates/ZoKrates/releases \
-d "{\"tag_name\":\"$TAG\",\"draft\":true}"
# Build zokrates js
docker build -t zokrates_js -f zokrates_js/Dockerfile .