在“提交结果”的页面中加入了一个下载log的按钮。当然是在评测成功的状态下才有。 由于下载log的站点与提交代码的站点不同，存在跨域访问，a标签的download属性不太好用，在我本机只能用中键点击下载按钮才能正确命名。