[Jenkins]Jenkins

Console Output

+ rm -rf mizar_2023-12-21_14-31-05/.git/