From b2a30a008465ca28130accde0d549d9d7d2c456c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Agust=C3=ADn=20Borgna?=
 <121866228+aborgna-q@users.noreply.github.com>
Date: Fri, 30 Aug 2024 15:30:00 +0100
Subject: [PATCH] ci: Fix docs build script error (#1485)

Fixes #1478. Passing job:
https://github.com/CQCL/hugr/actions/runs/10618695798

The job sets `./hugr-py` as working directory, so the script needed a
different relative path.

drive-by: Don't try to publish on non-main workflow_dispatches. That
caused the job to fail.
---
 .github/workflows/docs.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0bf767677..b88d4f93a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -38,7 +38,7 @@ jobs:
           fetch-tags: true
 
       - name: Set up uv
-        run: .github/script/install-uv.sh
+        run: ../.github/script/install-uv.sh
       - name: "Set up Python"
         uses: actions/setup-python@v5
         with:
@@ -68,6 +68,7 @@ jobs:
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
     needs: build
+    if: github.event_name != 'workflow_dispatch' || github.ref == 'refs/heads/main'
     steps:
       - name: Setup Pages
         uses: actions/configure-pages@v5