算是昨天的一个成就：把GitHub每月赠送的2000分钟actions时间用光了。（当然这是因为有个bug，硬生生把每次不足一分钟的CI变成了999秒。是AI和我共同的锅。