Set up CI pipeline for automated testing before PR can be merged

[antoniolofiego]

We should set up a pipeline that builds/tests our commits before they can be merged. We can use multiple services and I will list a few here.

TravisCI
https://docs.travis-ci.com/user/pull-requests/

A manual way of doing it
https://dev.to/bolajiayodeji/how-to-test-a-pull-request-locally-before-merging-1h29

Probably we can set up a GitHub Action:
https://docs.github.com/en/actions/reference/events-that-trigger-workflows

[antoniolofiego]

https://developer.github.com/apps/quickstart-guides/creating-ci-tests-with-the-checks-api/ Found this, can be used for checks directly in the PRs.

[antoniolofiego]

Optimal implementation:
https://github.com/bayko/codebuild-github-ci