GitHub Actions

ProofPR：AI 让写 PR 变快，但 review 没变便宜