Implement continuous integration with GitHub Actions, and add coverage report.
Implement continuous integration with GitHub Actions, and add coverage report.