Brian C. Lane c0ec02b3ed Switch to using GitHub Actions instead of Travis CI ... Travis CI has made some recent changes that result in slower results. This switches to using GitHub's new actions workflow instead.		2020-11-18 10:59:14 -08:00
..
workflows	Switch to using GitHub Actions instead of Travis CI	2020-11-18 10:59:14 -08:00