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

Fix failing CI on building docs #16

Closed
jamesrswift opened this issue Jun 2, 2024 · 3 comments · Fixed by #19
Closed

Fix failing CI on building docs #16

jamesrswift opened this issue Jun 2, 2024 · 3 comments · Fixed by #19
Labels
documentation Improvements or additions to documentation

Comments

@jamesrswift
Copy link
Member

CI automatically builds the docs, which depend on a locally installed unreleased version of mantis. This issue could be resolved by either not requiring that CI successfully compiles the docs, or by some means installing this package during CI.

@jamesrswift jamesrswift added the documentation Improvements or additions to documentation label Jun 2, 2024
@tingerrr
Copy link
Member

tingerrr commented Jun 2, 2024

It's also a little problematic for contributors who wish to view their changes to the docs.

I would like to use utpm for management of pre-release versions of Typst packages, but I don't know if it's mature enough yet. The last commit was 3 months ago and when I tried it, it had some weird bugs.

Perhaps I could flesh utpm out to add the necessary features and fix the bugs I encountered with it. I don't think git packages are expected to hit anytime soon in Typst itself, so this may be necessary in the long run anyway.

@jamesrswift
Copy link
Member Author

In meantime then, I'll disable it from the CI as it is getting in the way a bit at the moment

@tingerrr
Copy link
Member

tingerrr commented Jun 2, 2024

Sounds good, just remove the docs dependency on the ci recipe for now.

@jamesrswift jamesrswift linked a pull request Jun 2, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants