* Use gh actions. Restored from #2466 * ci: fix path
This reverts commit 5f3675b809.
5f3675b809
* Migrate CI to Github Actions Replaces current Travis setup. Benefits include: - Faster - Multiple families can now be included in a single PR - PRs can come from forked repos Fixes #2463 * Restore travis file temporarily