From 7276ded0481a6d06aa36471849348ebdb36835c7 Mon Sep 17 00:00:00 2001 From: nstrauss Date: Mon, 19 May 2025 09:58:30 -0500 Subject: [PATCH] Fixup workflow_dispatch for docs publishing --- .github/workflows/publish_docs.yaml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/publish_docs.yaml b/.github/workflows/publish_docs.yaml index eae2eb5..8f808f0 100644 --- a/.github/workflows/publish_docs.yaml +++ b/.github/workflows/publish_docs.yaml @@ -7,10 +7,10 @@ on: paths: - 'docs/**' - 'src/**' - workflow_dispatch: - inputs: - ref: - description: The branch, tag, or commit SHA1 to build the docs from. + workflow_dispatch: + inputs: + ref: + description: The branch, tag, or commit SHA1 to build the docs from. permissions: contents: read