From 113c58df6a3adcc15087a5f770de85c29adfa645 Mon Sep 17 00:00:00 2001 From: khalidbelk Date: Wed, 13 Nov 2024 19:19:40 +0100 Subject: [PATCH] feat(CI): add manual triggering to mirror workflow --- .github/workflows/mirror.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml index a7dfe30..49a5a9f 100644 --- a/.github/workflows/mirror.yml +++ b/.github/workflows/mirror.yml @@ -12,10 +12,13 @@ on: - main types: - closed + workflow_dispatch: {} jobs: push_to_mirror: - if: github.repository == 'EdukaiFR/website' && github.event.pull_request.merged == true + if: github.repository == 'EdukaiFR/website' && + (github.event_name == 'workflow_dispatch' || + github.event.pull_request.merged == true) runs-on: ubuntu-latest steps: