Continuous integration using GitHub Actions