release.yaml

'on':
  push:
    tags:
    - '*'
jobs:
  build-and-upload:
    runs-on: ubuntu-latest
    steps:
    - name: checkout
      uses: actions/checkout@v4
    - uses: actions/setup-java@v4
      with:
        distribution: temurin
        java-version: '17'
        cache: gradle
    - uses: gradle/actions/setup-gradle@v3
    - name: build
      env:
        VERSION: ${{ github.ref_name }}
      run: ./gradlew makePackages
    - name: release
      uses: softprops/action-gh-release@v1
      with:
        files: build/generated/pkl/packages/*
    - name: create docs
      env:
        VERSION_NUM: ${{ github.ref_name }}
      run: |
        # Retry mechanism
        set +e
        # Extract version number without the leading 'v'
        export VERSION=$(echo "${VERSION_NUM}" | sed -E 's/^v(.*)/\1/')
        ./gradlew pkldoc
        EXIT_CODE=$?
        if [ $EXIT_CODE -ne 0 ]; then
          echo "First attempt failed, retrying..."
          sleep 30s
          ./gradlew pkldoc
        fi
        set -e
    - name: setup pages
      uses: actions/configure-pages@v4
    - name: upload artifact
      uses: actions/upload-pages-artifact@v3
      with:
        path: build/pkldoc/pkldoc
    permissions:
      contents: write
  deploy-pages:
    runs-on: ubuntu-latest
    steps:
    - id: deployment
      name: deploy pages
      uses: actions/deploy-pages@v4
    needs: build-and-upload
    permissions:
      pages: write
      id-token: write
    environment:
      name: pkl-docs
      url: ${{ steps.deployment.outputs.page_url }}