ilyagr.bsky.social
just playing with tangled
1name: website
2
3on:
4 push:
5 branches:
6 - main
7
8permissions: {}
9
10jobs:
11 prerelease-docs-build-deploy:
12 # IMPORTANT: this workflow also functions as a test for `docs-deploy-website-latest-release` in
13 # releases.yml. Any fixes here should probably be duplicated there.
14 permissions:
15 contents: write
16 if: github.repository_owner == 'jj-vcs' # Stops this job from running on forks
17 strategy:
18 matrix:
19 os: [ubuntu-24.04]
20 runs-on: ${{ matrix.os }}
21
22 steps:
23 - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
24 with:
25 # `.github/scripts/docs-build-deploy` will need to `git push` to the docs branch
26 persist-credentials: true
27 - run: "git fetch origin gh-pages --depth=1"
28 - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55
29 with:
30 python-version: 3.11
31 - name: Install uv
32 uses: astral-sh/setup-uv@0c5e2b8115b80b4c7c5ddf6ffdd634974642d182
33 with:
34 version: "0.5.1"
35 - name: Install dependencies, compile and deploy docs
36 run: |
37 git config user.name 'jj-docs[bot]'
38 git config user.email 'jj-docs[bot]@users.noreply.github.io'
39 export MKDOCS_SITE_NAME="Jujutsu docs (prerelease)"
40 export MKDOCS_PRIMARY_COLOR="blue grey"
41 .github/scripts/docs-build-deploy prerelease --push
42 - name: "Show `git diff --stat`"
43 run: git diff --stat gh-pages^ gh-pages || echo "(No diffs)"