Commit 640d2f34913d88cbf1474f792c9fa9ea23b12029 Parent 59ff258ea11740f189e7a9fb0011fb10821dd756 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 12 May 2020 22:39:16 -0700 CI: install valgrind for linux.