From 22139ec1639a2297a140ea544025382977e8db5c Mon Sep 17 00:00:00 2001 From: John Ky Date: Sat, 21 Dec 2024 19:49:05 +1100 Subject: [PATCH] Add workflow dispatch support --- .github/workflows/ci.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 686c0ce..f3e0cf4 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -11,6 +11,12 @@ on: tags: - 'v*' pull_request: + workflow_dispatch: + inputs: + ref: + description: "The commit, branch, or tag to build" + required: true + default: "main" jobs: build: @@ -30,7 +36,9 @@ jobs: steps: - uses: actions/checkout@v4 - + with: + ref: ${{ github.event.inputs.ref }} # Checkout the specified branch, tag, or commit + - uses: haskell-actions/setup@v2 id: setup-haskell with: