Commit eee66c03d0c2f73fde6a15dfc74d149da9fa597b

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

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