mirror of
https://github.com/martinvonz/jj.git
synced 2025-02-06 20:42:10 +00:00
252f6d8543
This gets rid of an annoying warning in the Actions tab, but we already rely on this for the build-binaries workflow, and it's probably better to be explicit about this anyway. Signed-off-by: Austin Seipp <aseipp@pobox.com>
35 lines
1.1 KiB
YAML
35 lines
1.1 KiB
YAML
name: website
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- main
|
|
|
|
permissions:
|
|
contents: write
|
|
|
|
jobs:
|
|
prerelease-docs-build-deploy:
|
|
if: github.repository_owner == 'martinvonz' # Stops this job from running on forks
|
|
strategy:
|
|
matrix:
|
|
os: [ubuntu-24.04]
|
|
runs-on: ${{ matrix.os }}
|
|
|
|
steps:
|
|
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
|
|
- run: "git fetch origin gh-pages --depth=1"
|
|
- uses: actions/setup-python@0b93645e9fea7318ecaed2b359559ac225c90a2b
|
|
with:
|
|
python-version: 3.11
|
|
- name: Install uv
|
|
uses: astral-sh/setup-uv@887a942a15af3a7626099df99e897a18d9e5ab3a
|
|
with:
|
|
version: "0.5.1"
|
|
- name: Install dependencies, compile and deploy docs
|
|
run: |
|
|
git config user.name 'jj-docs[bot]'
|
|
git config user.email 'jj-docs[bot]@users.noreply.github.io'
|
|
.github/scripts/docs-build-deploy 'https://jj-vcs.github.io/jj' prerelease --push
|
|
- name: "Show `git diff --stat`"
|
|
run: git diff --stat gh-pages^ gh-pages || echo "(No diffs)"
|