This repository was archived by the owner on Apr 20, 2022. It is now read-only.
replace a few incorrect $(top_builddir) with $(top_srcdir)#5
Open
karllinden wants to merge 2 commits into
Open
replace a few incorrect $(top_builddir) with $(top_srcdir)#5karllinden wants to merge 2 commits into
karllinden wants to merge 2 commits into
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.