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

Add documentation to github checks #2112

Closed
M-Davies opened this issue Oct 1, 2020 · 0 comments · Fixed by #2216
Closed

Add documentation to github checks #2112

M-Davies opened this issue Oct 1, 2020 · 0 comments · Fixed by #2216
Assignees
Labels
documentation Issues that request updates to our documentation enhancement Issues that enhance the code or documentation of the repo in any way testing Issues that enhance or fix our test suites
Milestone

Comments

@M-Davies
Copy link

M-Davies commented Oct 1, 2020

#2081 introduced some github actions that allow us to build and test changes to the build scripts on github over jenkins. There is currently no documentation detailing them however. Also, we now have a no-test label that will prevent the pr tester from running against it. We should have some documentation for that too

@M-Davies M-Davies added enhancement Issues that enhance the code or documentation of the repo in any way documentation Issues that request updates to our documentation labels Oct 1, 2020
@M-Davies M-Davies self-assigned this Oct 1, 2020
@M-Davies M-Davies added the testing Issues that enhance or fix our test suites label Nov 26, 2020
@karianna karianna added this to the November 2020 milestone Nov 30, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Issues that request updates to our documentation enhancement Issues that enhance the code or documentation of the repo in any way testing Issues that enhance or fix our test suites
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants