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

Augmenting the CI workflows #5

Open
2 of 3 tasks
negin513 opened this issue Aug 23, 2023 · 2 comments
Open
2 of 3 tasks

Augmenting the CI workflows #5

negin513 opened this issue Aug 23, 2023 · 2 comments
Assignees
@mtrahan41 @negin513
Labels
enhancement For improvements to existing documentation. (Expanding upon existing docs).

Comments

@negin513
Copy link
Collaborator

negin513 commented Aug 23, 2023 •
edited
Loading

I have a few Continuous Integration (CI) ideas to streamline document integration:
@negin513
Copy link
Collaborator Author

@mtrahan41 implemented readthedocs to preview the page build within a PR and it works fine.

@negin513
Copy link
Collaborator Author

@mtrahan41 How long does it take for readthedocs to update the content after each push?

@negin513 negin513 assigned negin513 and mtrahan41 and unassigned negin513 Oct 13, 2023
@negin513 negin513 changed the title Augmenting the CI Augmenting the CI workflow Oct 13, 2023
@negin513 negin513 changed the title Augmenting the CI workflow Augmenting the CI workflows Oct 13, 2023
@negin513 negin513 added the enhancement For improvements to existing documentation. (Expanding upon existing docs). label Oct 13, 2023
@negin513 negin513 self-assigned this Oct 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mtrahan41 mtrahan41

@negin513 negin513

Labels
enhancement For improvements to existing documentation. (Expanding upon existing docs).
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mtrahan41 @negin513