Skip to content

improvement: Add report when tokenization fails #3498

improvement: Add report when tokenization fails

improvement: Add report when tokenization fails #3498

Workflow file for this run

name: Release
on:
push:
branches: [main]
tags: ["*"]
concurrency:
group: release-${{ github.ref }}
jobs:
publish:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: 17
cache: 'sbt'
- name: Publish
run: |
COMMAND="ci-release"
UPDATE_DOCS=true
if [[ $GITHUB_REF == "refs/tags"* ]] && [[ $GITHUB_REF_NAME == "mtags_v"* ]]; then
METALS_VERSION=$(echo $GITHUB_REF_NAME | cut -d "_" -f2 | cut -c2-)
SCALA_VERSION=$(echo $GITHUB_REF_NAME | cut -d "_" -f3)
if [ ! -z $METALS_VERSION ] && [ ! -z $SCALA_VERSION ]; then
export CI_RELEASE="++$SCALA_VERSION! mtags/publishSigned; mtagsShared/publishSigned"
UPDATE_DOCS=false
COMMAND="; set ThisBuild/version :=\"$METALS_VERSION\"; $COMMAND"
else
echo 'Invalid tag name for mtags. Expected: mtags_v${existing-metals-release}_${scala-version}'
exit 1
fi
fi
sbt "$COMMAND"
if [ "$UPDATE_DOCS" = true ]; then
sbt docs/docusaurusPublishGhpages
fi
env:
GIT_USER: [email protected]
PGP_PASSPHRASE: ${{ secrets.PGP_PASSPHRASE }}
PGP_SECRET: ${{ secrets.PGP_SECRET }}
SONATYPE_PASSWORD: ${{ secrets.SONATYPE_PASSWORD }}
SONATYPE_USERNAME: ${{ secrets.SONATYPE_USERNAME }}
GIT_DEPLOY_KEY: ${{ secrets.GIT_DEPLOY_KEY }}
GITHUB_TOKEN: ${{ secrets.PUSH_TAG_GH_TOKEN }}
GH_TOKEN: ${{ secrets.PUSH_TAG_GH_TOKEN }}