GitHub Actions

GitHub actions are the builtin CI/CD tool on GitHub.