Commit 8a54e39c07b701dc6426733bf51fdedf58420356

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

ci: some additional debugging (cherry picked from commit 230eeda8e464a4675e82007d0c505617a6c243ed)