Commit a2ab3e861333d9233471ceee287a1a053a6bde66 Parent 5bc4802795b140b104728e203412b0616a751deb Author John MacFarlane <jgm@berkeley.edu> Date Wed, 13 May 2020 08:56:47 -0700 Linux CI: use both gcc and clang.