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

workflows/ci_docs: lots of goodies #13809

Merged
merged 6 commits into from
Mar 31, 2020
Merged

workflows/ci_docs: lots of goodies #13809

merged 6 commits into from
Mar 31, 2020

Conversation

alaviss
Copy link
Collaborator

@alaviss alaviss commented Mar 30, 2020

This should be a complete replacement for our current Travis CI setup.

This should be a complete replacement for our current Travis CI setup.
@narimiran narimiran mentioned this pull request Mar 31, 2020
So that any changes regarding the stylesheets would be reflected on the
published docs.
@alaviss alaviss changed the title workflows/ci_docs: publish documentation to Github Pages workflows/ci_docs: lots of goodies Mar 31, 2020
This makes the "Source" links work correctly.
Only deploy the Linux-generated version.
This should cut the time spent building csources, which is about 1-2mins
depending on OS.
@alaviss
Copy link
Collaborator Author

alaviss commented Mar 31, 2020

@Araq Araq merged commit 5621ff6 into nim-lang:devel Mar 31, 2020
paths:
- 'lib/**.nim'
- 'doc/**.rst'
- 'doc/nimdoc.css'
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@alaviss what about tools/dochack which includes tools/dochack/dochack.nim?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Feel free to PR that in.

@timotheecour timotheecour mentioned this pull request Apr 1, 2020
1 task
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.

3 participants