就如这份评测记录，内容显示编译失败，但是类型至今还是在显示$\colorbox{blue}{\color{white}{Judging}}$。。。