[Jenkins]Jenkins

Console Output

+ rm -rf mizar_2023-12-18_19-35-30/.git/