Add a GitHub actions CI workflow. (#389)

2 files changed