* Check formatting in CI * Move deleteDir() to cleanup section * Revert "Move deleteDir() to cleanup section" This reverts commit 4b0dd80cac. * Give up on check_format.txt * Fix formatting
4b0dd80cac