Commit 230eeda8e464a4675e82007d0c505617a6c243ed

Edward Thomson 2018-07-21T10:49:23

ci: some additional debugging