Skip to content

Commit

Permalink
ci: Fix docs build script error (#1485)
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
aborgna-q authored Aug 30, 2024
1 parent 88913f2 commit b2a30a0
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down Expand Up @@ -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
Expand Down

0 comments on commit b2a30a0

Please sign in to comment.