fix: filter symbols for conflict check are in scope before inline #3653
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 }} |