Commit 57dc0a982489a92f5c010bc4962c929de5f20c70 Parent 99bb5523b756c43ce7de6ee4606ed89a2d4d41b9 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 13 May 2020 09:35:38 -0700 CI: change shared to cmark_opts in matrix, add linter.