Skip to content

Merge pull request #222 from sphinx-contrib/dependabot/github_actions… #181

Merge pull request #222 from sphinx-contrib/dependabot/github_actions…

Merge pull request #222 from sphinx-contrib/dependabot/github_actions… #181

name: History Update
on:
- push
- pull_request
jobs:
history-update:
runs-on: ubuntu-latest
if: ${{ !startsWith(github.ref, 'refs/tags') }}
strategy:
fail-fast: false
steps:
- uses: actions/checkout@v4
# Get all of the git history. https://github.com/actions/checkout
with:
fetch-depth: 0
- name: Check for history.rst update
if: startsWith(github.ref, 'refs/tags') != true
run: ./tools/history-update.sh