Skip to content

Fix docs build for release tags - #53

Open
leburgel wants to merge 1 commit into
mainfrom
lb/stable_docs
Open

Fix docs build for release tags#53
leburgel wants to merge 1 commit into
mainfrom
lb/stable_docs

Conversation

@leburgel

Copy link
Copy Markdown
Member

I noticed that the stable docs link is dead, since apparently the docs build didn't trigger on the latest release tag. I think I remember running into this elsewhere, and this turned out to be some issues with the permissions.

I updated the workflow file to essentially mimic that of MPSKit.jl. The key difference is the pages: write permission which is now added, which hopefully solves the issue.

@leburgel
leburgel requested a review from lkdvos August 18, 2026 12:02
@codecov

codecov Bot commented Aug 18, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant