[Jenkins]Jenkins

Console Output

+ rm -rf mizar_2023-12-18_19-47-52/.git/