fix: Explicitly set the region when instantiating the boto3 client (#… #180
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: doc | |
| on: | |
| push: | |
| branches: [ "main" ] | |
| # Prevent doc action on `main` to conflict with each others. | |
| concurrency: | |
| group: doc-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| doc: | |
| runs-on: "ubuntu-latest" | |
| timeout-minutes: 30 | |
| defaults: | |
| run: | |
| shell: bash -l {0} | |
| steps: | |
| - name: Checkout the code | |
| uses: actions/checkout@v4 | |
| - name: Install uv | |
| uses: astral-sh/setup-uv@v5 | |
| - name: Install the project | |
| run: uv sync --group doc | |
| - name: Configure git | |
| run: | | |
| git config --global user.name "${GITHUB_ACTOR}" | |
| git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com" | |
| - name: Deploy the doc | |
| run: | | |
| echo "Get the gh-pages branch" | |
| git fetch origin gh-pages | |
| echo "Build and deploy the doc on main" | |
| uv run mike deploy --push main |