Experiment with GitHub Actions for CI.