diff --git a/.github/workflows/build_changelog.yml b/.github/workflows/build_changelog.yml index 3cd6fffe855..ebc978022bc 100644 --- a/.github/workflows/build_changelog.yml +++ b/.github/workflows/build_changelog.yml @@ -3,6 +3,17 @@ name: Build changelog on: workflow_dispatch: + schedule: + # ┌───────────── minute (0 - 59) + # │ ┌───────────── hour (0 - 23) + # │ │ ┌───────────── day of the month (1 - 31) + # │ │ │ ┌───────────── month (1 - 12 or JAN-DEC) + # │ │ │ │ ┌───────────── day of the week (0 - 6 or SUN-SAT) + # │ │ │ │ │ + # │ │ │ │ │ + # │ │ │ │ │ + # * * * * * + - cron: '0 8 * * *' jobs: changelog: diff --git a/.github/workflows/on_push_docs.yml b/.github/workflows/on_push_docs.yml index d46879ca6b1..340f669b0f7 100644 --- a/.github/workflows/on_push_docs.yml +++ b/.github/workflows/on_push_docs.yml @@ -8,15 +8,10 @@ on: - "docs/**" - "mkdocs.yml" - "examples/**" + - "CHANGELOG.md" jobs: - changelog: - permissions: - contents: write - uses: ./.github/workflows/reusable_publish_changelog.yml - release-docs: - needs: changelog permissions: contents: write pages: write @@ -24,12 +19,3 @@ jobs: with: version: develop alias: stage -# Maintenance: Only necessary in repo migration -# - name: Create redirect from old docs -# run: | -# git checkout gh-pages -# test -f 404.html && echo "Redirect already set" && exit 0 -# git checkout develop -- 404.html -# git add 404.html -# git commit -m "chore: set docs redirect" --no-verify -# git push origin gh-pages -f diff --git a/.github/workflows/rebuild_latest_docs.yml b/.github/workflows/rebuild_latest_docs.yml index aa3b2216289..3e481860992 100644 --- a/.github/workflows/rebuild_latest_docs.yml +++ b/.github/workflows/rebuild_latest_docs.yml @@ -15,13 +15,7 @@ on: required: true jobs: - changelog: - permissions: - contents: write - uses: ./.github/workflows/reusable_publish_changelog.yml - release-docs: - needs: changelog permissions: contents: write pages: write