Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update docs link in README.md #598

Merged
merged 1 commit into from
Dec 16, 2023
Merged

Conversation

vtjeng
Copy link
Contributor

@vtjeng vtjeng commented Dec 16, 2023

I'm not sure why the release process isn't producing any docs at stable (or, in fact, for any previous versions).

In the meantime, it seems better to link users to the dev docs rather than a dead link.

FWIW, I had a similar issue in my package some time ago (vtjeng/MIPVerify.jl#116) but it seems to have to do with me using an old version of Documenter, which is not the issue you are having here.

I'm not sure why the release process isn't producing any docs at `stable` (or, in fact, for any previous versions). 

In the meantime, it seems better to link users to the dev docs rather than a dead link.

FWIW, I had a similar issue in my package some time ago (vtjeng/MIPVerify.jl#116) but it seems to have to do with me using an old version of `Documenter`, which is not the issue you are having here.
@OlivierHnt
Copy link
Member

Indeed I noticed this (I realised it had been broken for years in fact) and I did some things that I hope will produce docs for the next stable release (some v0.22.1). But I did not want to tag the release just for the docs, since I am not sure if what I did will work 😅.

Anyways, you are right about pointing to the dev branch of the docs! Thx!

@OlivierHnt OlivierHnt merged commit 1259267 into JuliaIntervals:master Dec 16, 2023
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.

2 participants