Something went wrong. Try again.
fork of gpui
Something went wrong. Try again.
12345678910111213141516171819202122232425262728293031323334#!/usr/bin/env bash
set -euo pipefail
if [ -z "${GITHUB_ACTIONS-}" ]; then echo "Error: This script must be run in a GitHub Actions environment" exit 1elif [ -z "${GITHUB_REF-}" ]; then # This should be the release tag 'v0.x.x' echo "Error: GITHUB_REF is not set" exit 1fi
version=$(script/get-crate-version zed)channel=$(cat crates/zed/RELEASE_CHANNEL)echo "Publishing version: ${version} on release channel ${channel}"echo "RELEASE_CHANNEL=${channel}" >> $GITHUB_ENVecho "RELEASE_VERSION=${version}" >> $GITHUB_ENV
expected_tag_name=""case ${channel} instable) expected_tag_name="v${version}";;preview) expected_tag_name="v${version}-pre";;*) echo "can't publish a release on channel ${channel}" exit 1;;esacif [[ $GITHUB_REF_NAME != $expected_tag_name ]]; then echo "invalid release tag ${GITHUB_REF_NAME}. expected ${expected_tag_name}" exit 1fi