Commit 76ddef4b1bb6d95bb77d267e76d5647e68c8aae2 Parent 2a42369f4233b092392d75dbc2c539a481a8cb03 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 12 May 2020 22:57:45 -0700 Add CI badge.