Fix docs build for release tags

[leburgel]

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.

[codecov]

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.

[Jutho]

Thanks

[Jutho]

This probably requires a new release to take effect?

[lkdvos]

https://documenter.juliadocs.org/stable/man/hosting/#Fixing-broken-release-deployments

I've pushed a new tag, let's see if this works!