mirror of
https://github.com/martinvonz/jj.git
synced 2025-02-06 20:42:10 +00:00
f9dad76512
It contained a check for `repo_owner == 'martinvonz'` which meant that it hasn't run in 4 weeks. This is another great example showing why current CI systems suck, as it always was "successful" in doing nothing with no warning whatsoever. I also only noticed it because I wanted to check my latest doc change on the prerelease site.
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 == 'jj-vcs' # 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)"
|