Skip to content

chore(deps): update dependency aquaproj/aqua-registry to v4.442.0 (#55) #64

chore(deps): update dependency aquaproj/aqua-registry to v4.442.0 (#55)

chore(deps): update dependency aquaproj/aqua-registry to v4.442.0 (#55) #64

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:
runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- uses: actions/checkout@v6
- uses: aquaproj/aqua-installer@11dd79b4e498d471a9385aa9fb7f62bb5f52a73c # v4.0.4
with:
aqua_version: v2.55.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