From 71642246cbac3df6b86f2d801a0d3cd668b111d3 Mon Sep 17 00:00:00 2001 From: Kevin Pfeifer Date: Sat, 12 Aug 2023 18:10:50 +0200 Subject: [PATCH] allow manually dispatching ci workflow --- .github/workflows/ci.yml | 1 + .github/workflows/deploy_docs_2x.yml | 1 + 2 files changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 96bfed97..f51444c3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,6 +9,7 @@ on: pull_request: branches: - '*' + workflow_dispatch: jobs: testsuite: diff --git a/.github/workflows/deploy_docs_2x.yml b/.github/workflows/deploy_docs_2x.yml index 99eab707..32ca3986 100644 --- a/.github/workflows/deploy_docs_2x.yml +++ b/.github/workflows/deploy_docs_2x.yml @@ -4,6 +4,7 @@ on: push: branches: - 2.x + workflow_dispatch: jobs: deploy: