CI with GitHub Actions

This is a very comprehensive article.