improvement: start liveness monitor only for main bsp connection #2775
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: ["*"] | |
| jobs: | |
| publish: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 | |
| - uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'temurin' | |
| java-version: 17 | |
| cache: 'sbt' | |
| - name: Publish | |
| run: | | |
| LOCKED=true | |
| while [ $LOCKED = true ]; do | |
| # if there are several release jobs at the same time | |
| # allow to continue the one which id is less than others | |
| FIRST_IN_PROGRESS=$(gh api /repos/scalameta/metals/actions/workflows/release.yml/runs -q ".workflow_runs[]|select(.status==\"in_progress\")|.id" | sort | head -n 1) | |
| if [ "$FIRST_IN_PROGRESS" == "$GITHUB_RUN_ID" ]; then | |
| LOCKED=false | |
| else | |
| echo "Waiting the completion of other release job..." | |
| sleep 20 | |
| fi | |
| done | |
| 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 }} |