Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Tweaks to the GitHub PR actions (#17)
* Just a manual change to a generated file, no big deal * Add install during generation * Fixes
- Loading branch information