Closed joshua-cogliati-inl closed 1 year ago
What happens if we merge two PRs to devel in rapid succession? Will the manual build before the second devel merge, or cancel-and-restart, or they'll just run in parallel and the second will probably replace the first when it finishes?
What happens if we merge two PRs to devel in rapid succession? Will the manual build before the second devel merge, or cancel-and-restart, or they'll just run in parallel and the second will probably replace the first when it finishes?
It will build them both, in order, and upload them both, and the last one will be the one that people see in the end. (Edited)
Pull Request Description
What issue does this change request address?
Closes #235
What are the significant changes in functionality due to this change request?
Adds a github action to automatically build the pdf documents.
For Change Control Board: Change Request Review
The following review must be completed by an authorized member of the Change Control Board.