From 729347fc898290cb305b410786be06da81b8ae88 Mon Sep 17 00:00:00 2001 From: "Dr. Jan Philip Bernius" Date: Thu, 2 May 2024 22:34:36 +0200 Subject: [PATCH] ci: support workflow_dispatch trigger --- .github/workflows/man.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/man.yaml b/.github/workflows/man.yaml index cdbdf37..c978c83 100644 --- a/.github/workflows/man.yaml +++ b/.github/workflows/man.yaml @@ -3,6 +3,7 @@ name: man jpbernius on: push: branches: [ "man" ] + workflow_dispatch: jobs: html: @@ -54,6 +55,7 @@ jobs: mirror: runs-on: ubuntu-latest + if: github.event_name == 'push' strategy: matrix: