Skip to content

chore(deps): update aquaproj/aqua-installer action to v4.0.3 (#8) #10

chore(deps): update aquaproj/aqua-installer action to v4.0.3 (#8)

chore(deps): update aquaproj/aqua-installer action to v4.0.3 (#8) #10

Workflow file for this run

name: 'Deploy document'
on:
push:
branches:
- 'main'
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
env:
UV_NO_SYNC: 1
TASK_X_REMOTE_TASKFILES: 1
jobs:
deploy-doc:
if: ${{ github.event.repository.visibility == 'public' }}
runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- uses: actions/checkout@v5
- uses: aquaproj/aqua-installer@ea518c135a02fc11ff8024364510c181a5c6b342 # v4.0.3
with:
aqua_version: v2.51.2
- name: 'Configure dependencies'
run: |
uv sync --all-extras --frozen
- name: 'Build document'
run: |
task --yes setup docs:build-mini18n-dirhtml
- name: 'Upload artifact'
uses: actions/upload-pages-artifact@v4
with:
path: docs/_build/mini18n-dirhtml
- name: 'Deploy to GitHub Pages'
id: deployment
uses: actions/deploy-pages@v4