various minor build and bug fixes and some updates#21
Open
rudimeier wants to merge 15 commits into
Open
Enhance your code review process with GitHub Actions
GitHub Actions make it easy to automate all your software workflows, now with world-class CI/CD.
Build, test, and deploy your code right from GitHub. Learn more about GitHub Actions.