Commit 5c77b675b5957d33de2e6c83481c55e9bbc32902 Parent b467630d73974200456f472a58bf9dab5eea1be0 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 12 May 2020 22:16:14 -0700 Add GitHub actions CI.