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.

Sign up for GitHub

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

Jump to bottom

Deploy docs for released versions #17

Closed
tfiers opened this issue Dec 12, 2022 · 3 comments
Closed

Deploy docs for released versions #17

tfiers opened this issue Dec 12, 2022 · 3 comments
Labels
documentation Improvements or additions to documentation

Comments

@tfiers
Copy link
Owner

tfiers commented Dec 12, 2022

(I thought TagBot was gonna do this automatically, but now that v0.1 is out (and he tagged it! I think he overwrote the v0.1 tag I already made? or something. cause the tag now says that it's made by gh actions, and it has a description (that I didn't give); but the date is three days ago. Ah no! that is indeed, it's Registrator that did that). (But I did push a v0.1 tag; what happened to that).
@tfiers tfiers added the documentation Improvements or additions to documentation label Dec 12, 2022
@tfiers
Copy link
Owner Author

tfiers commented Dec 26, 2022

→ Look at some other people's makefiles etc

@tfiers tfiers added this to the v0.2 milestone Dec 26, 2022
@tfiers
Copy link
Owner Author

tfiers commented Dec 26, 2022

(I looked at Literate.jl.
documer docs are here https://documenter.juliadocs.org/stable/man/hosting/#Documentation-Versions)

Should be fixed by the v0.1.0 tag I pushed (I only had a v0.1 before).

(this tag was pushed just before 83093d1)

@tfiers tfiers closed this as completed Dec 26, 2022
@tfiers
Copy link
Owner Author

tfiers commented Dec 26, 2022

Ok it didn't deploy for v0.1(.0)

but that's because it's old commit, old workflow file (there was a new "CI" run (that failed and that I deleted))
I'm guessing when tagging v0.2.0 it should work

@tfiers tfiers removed this from the v0.3 milestone Dec 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tfiers