]>
git.madduck.net Git - etc/vim.git/blobdiff - .github/workflows/doc.yml
madduck's git repository
Every one of the projects in this repository is available at the canonical
URL git://git.madduck.net/madduck/pub/<projectpath> — see
each project's metadata for the exact URL.
All patches and comments are welcome. Please squash your changes to logical
commits before using git-format-patch and git-send-email to
patches@ git. madduck. net .
If you'd read over the Git project's submission guidelines and adhered to them,
I'd be especially grateful.
SSH access, as well as push access can be individually
arranged .
If you use my repositories frequently, consider adding the following
snippet to ~/.gitconfig and using the third clone URL listed for each
project:
[url "git://git.madduck.net/madduck/"]
insteadOf = madduck:
name: Documentation Build
name: Documentation Build
-on:
- push:
- paths:
- - "docs/**"
- - "README.md"
- - "CHANGES.md"
- - "CONTRIBUTING.md"
- pull_request:
- paths:
- - "docs/**"
- - "README.md"
- - "CHANGES.md"
- - "CONTRIBUTING.md"
+on: [push, pull_request]
+ # We want to run on external PRs, but not on our own internal PRs as they'll be run
+ # by the push to the branch. Without this if check, checks are duplicated since
+ # internal PRs match both the push and pull_request events.
+ if:
+ github.event_name == 'push' || github.event.pull_request.head.repo.full_name !=
+ github.repository
steps:
- uses: actions/checkout@v2
steps:
- uses: actions/checkout@v2
- name: Install dependencies
run: |
python -m pip install --upgrade pip setuptools wheel
- name: Install dependencies
run: |
python -m pip install --upgrade pip setuptools wheel
- python -m pip install -e "."
+ python -m pip install -e ".[d] "
python -m pip install -r "docs/requirements.txt"
- name: Build documentation
python -m pip install -r "docs/requirements.txt"
- name: Build documentation
- run: sphinx-build -a -b html -W docs/ docs/_build/
+ run: sphinx-build -a -b html -W --keep-going docs/ docs/_build
projects / etc / vim.git / blobdiff