[Jenkins]Jenkins

Console Output

+ rm -rf mizar_2023-12-18_19-36-07/.git/