beet

参考：　https://trap.jp/post/945/

https://beet-aizu.github.io/library/verify/test/yosupo/many_aplusb.test.cpp.html https://judge.yosupo.jp/submission/8709 よくわからんが僕のもこわれているぜ！

@ei1333 @Luzhiled https://github.com/luzhiled1333/comp-library ってどうしてますか

```bash INFO:onlinejudge_verify.main:$ git add .verify-helper/timestamps.remote.json && git commit && git push [master 0ed9221b] [auto-verifier] verify commit 292eaddb2789d3429032b9843aa9e05028783005 1 file changed, 2 insertions(+), 2 deletions(-) remote: Resolving deltas: 0% (0/3) remote:...

> 魔改造して自動 push をやめました https://github.com/luzhiled1333/verification-helper https://github.com/luzhiled1333/comp-library/commit/c89b1871add5f5aa1398e01cdd3b6954bf98ac0f ?

https://github.com/luzhiled1333/comp-library/blob/c89b1871add5f5aa1398e01cdd3b6954bf98ac0f/.github/workflows/verify.yml#L12-L13 これか？

> 最終的に、 main を保護するのは現状の verification-helper では無理だという結論に至って、PR では check のみを、merge するときは諦めて push させるということをしていますね なんか一応 protect はされてそうな雰囲気を感じます https://github.com/luzhiled1333/comp-library/pull/125

https://github.com/beet-aizu/library/actions/runs/4885284397/jobs/8719149640 が通って　ば　な　な　になっていたが、よく考えると timestamp.remote.json と コミットのタイミング がいい感じになることがわかる

自分 procrastinating よろしいか？いいよ

> https://github.com/luzhiled1333/comp-library/blob/c89b1871add5f5aa1398e01cdd3b6954bf98ac0f/.github/workflows/verify.yml#L12-L13 これか？ https://github.com/beet-aizu/library/actions/runs/4894584151/jobs/8738998783#step:5:751 うーん