From 0dbcef69dbbe26ae85f58ba076798447b0892687 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=9B=A7=E5=9B=A7?= Date: Wed, 13 Mar 2024 23:47:07 +0800 Subject: [PATCH] Allow CI workflow to be manually dispatched (#3043) --- .github/workflows/ci-workflow.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci-workflow.yml b/.github/workflows/ci-workflow.yml index aec034dfc3..dac5b9a762 100644 --- a/.github/workflows/ci-workflow.yml +++ b/.github/workflows/ci-workflow.yml @@ -11,6 +11,7 @@ on: push: branches: - master + workflow_dispatch: # Only allow one run in this group to run at a time, and cancel any runs in progress in this group. # We use the workflow name and then add the pull request number, or (if it's a push to master), we use the name of the branch.