From d905536de13c32f6796639ca31a0ad9d2bf147f7 Mon Sep 17 00:00:00 2001 From: Orestis Herodotou Date: Mon, 14 Oct 2024 12:35:37 -0700 Subject: [PATCH] Add manual dispatch to docs deployment --- .github/workflows/deploy-docs.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml index 1b4082f1..9173c707 100644 --- a/.github/workflows/deploy-docs.yaml +++ b/.github/workflows/deploy-docs.yaml @@ -1,5 +1,6 @@ name: deploy-docs on: + workflow_dispatch: push: branches: - main