Align error underlines properly when tabs are involved (#5224) #727
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: Publish the mkdocs to GitHub Pages | |
| on: | |
| push: | |
| branches: [master] | |
| release: | |
| types: [published] | |
| workflow_dispatch: | |
| concurrency: | |
| group: "docs" | |
| cancel-in-progress: false | |
| jobs: | |
| deploy-website: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Checkout the repo | |
| uses: actions/checkout@v4 | |
| - uses: actions/configure-pages@v5 | |
| - name: Set up Java | |
| uses: actions/setup-java@v4 | |
| with: | |
| distribution: 'zulu' | |
| java-version-file: .github/workflows/.ci-java-version | |
| - name: Setup gradle | |
| uses: gradle/actions/setup-gradle@v3 | |
| with: | |
| gradle-home-cache-cleanup: true | |
| - name: Set up Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: 3.11 # See the pinned version in renovate.json too | |
| - name: Get Docs Version | |
| run: cat gradle.properties | grep --color=never VERSION_NAME >> $GITHUB_OUTPUT | |
| id: version | |
| - name: Prep mkdocs | |
| run: | | |
| pip3 install --no-deps -r .github/workflows/requirements.txt | |
| .github/workflows/prepare_mkdocs.sh ${{ steps.version.outputs.VERSION_NAME }} | |
| - name: Configure git for mike | |
| run: | | |
| git config --local user.email "github-actions[bot]@users.noreply.github.com" | |
| git config --local user.name "github-actions[bot]" | |
| git fetch origin gh-pages --depth=1 | |
| - name: Deploy SNAPSHOT Docs with mike 🗿 | |
| env: | |
| SQLDELIGHT_VERSION: ${{ steps.version.outputs.VERSION_NAME }} | |
| if: ${{ success() && contains(steps.version.outputs.VERSION_NAME, 'SNAPSHOT') }} | |
| run: mike deploy -u --push ${{ steps.version.outputs.VERSION_NAME }} snapshot | |
| - name: Deploy Docs with mike 🚀 | |
| env: | |
| SQLDELIGHT_VERSION: ${{ steps.version.outputs.VERSION_NAME }} | |
| if: ${{ success() && !contains(steps.version.outputs.VERSION_NAME , 'SNAPSHOT') }} | |
| run: mike deploy -u --push ${{ steps.version.outputs.VERSION_NAME }} latest | |
| env: | |
| GRADLE_OPTS: -Dorg.gradle.caching=true |