Github workflows

Docs: https://docs.github.com/en/actions