Closed zachcran closed 1 year ago
Is this pull request associated with an issue(s)? No.
Description It is much easier to re-trigger CI for testing as needed if it is able to be manually triggered at any time. I added that ability to the documentation generation CI.
Is this pull request associated with an issue(s)? No.
Description It is much easier to re-trigger CI for testing as needed if it is able to be manually triggered at any time. I added that ability to the documentation generation CI.