diff --git a/.github/workflows/python_sphinx_docs.yml b/.github/workflows/python_sphinx_docs.yml index 306e82b..d54da15 100644 --- a/.github/workflows/python_sphinx_docs.yml +++ b/.github/workflows/python_sphinx_docs.yml @@ -15,6 +15,11 @@ on: branches: [master] repository_dispatch: types: [docstrings_common_updated, docstrings_simulators_updated] + # Manual trigger ("Run workflow" in the Actions tab). Use it to rebuild and republish + # after a dispatch from opm-common or opm-simulators failed, e.g. because the token + # those repositories send it with has expired. Run on master it deploys to gh-pages; + # run on any other branch it only builds. + workflow_dispatch: permissions: contents: write jobs: