Closed stevengj closed 1 year ago
Add a github CI script that runs on all pull requests and tags.
It also checks that make maintainer-clean leaves only a minimal set of files, so I added a few additional files to clean.
make maintainer-clean
Note that @bartp5 will need to enable the CI workflow once this is merged: https://docs.github.com/en/actions/managing-workflow-runs/disabling-and-enabling-a-workflow
CI
Add a github CI script that runs on all pull requests and tags.
It also checks that
make maintainer-clean
leaves only a minimal set of files, so I added a few additional files to clean.