bugfix: Fix Metals for 2.13.16 #3678
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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' | |
| # Do not change the version of Java, it is the minimal version Metals works with | |
| 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 }} |