[Jenkins]Jenkins

Console Output

+ cp -r mizar/ mizar_2024-01-04_19-06-52/