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

Changes to dev-docs only should not run doctests #37147

Open
thomashampson opened this issue Apr 9, 2024 · 0 comments
Open

Changes to dev-docs only should not run doctests #37147

thomashampson opened this issue Apr 9, 2024 · 0 comments
Labels
ISIS Team: Core Issue and pull requests managed by the Core subteam at ISIS Maintenance Unassigned issues to be addressed in the next maintenance period.

Comments

@thomashampson
Copy link
Contributor

Describe the outcome that is desired.
PRs that change only dev-docs should not need to run anything except a build of the dev-docs.
@thomashampson thomashampson added Maintenance Unassigned issues to be addressed in the next maintenance period. ISIS Team: Core Issue and pull requests managed by the Core subteam at ISIS labels Apr 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
ISIS Team: Core Issue and pull requests managed by the Core subteam at ISIS Maintenance Unassigned issues to be addressed in the next maintenance period.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@thomashampson