diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 98f55bc..db7fbc7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -7,6 +7,7 @@ on: pull_request: branches: - '*' + workflow_dispatch: jobs: testsuite: diff --git a/.github/workflows/deploy_docs_1x.yml b/.github/workflows/deploy_docs_1x.yml index 097bf45..bf8e586 100644 --- a/.github/workflows/deploy_docs_1x.yml +++ b/.github/workflows/deploy_docs_1x.yml @@ -5,6 +5,7 @@ on: push: branches: - master + workflow_dispatch: jobs: deploy: