tools: release: use new binaries branch (and force a new build)

This commit is contained in:
Simon Michael 2022-06-04 19:32:09 +01:00
parent 5d9a0616db
commit 6a304968ff

View File

@ -146,9 +146,7 @@ prep() {
# Push the current branch to the CI branches that generate platform binaries.
bin() {
run git push -f origin HEAD:ci-windows
run git push -f origin HEAD:ci-mac
run git push -f origin HEAD:ci-linux-x64
run git push -f origin HEAD:binaries
}
if declare -f "$1" > /dev/null; then "$@"; else usage; fi