sksat

C++部分は横着せずに素直にclang-formatするなどもある

実は個人的に似たようなの作って使ってる(あっちはGitHub Projects beta用だけどまあやることは同じでしょう)のでシュッと持ってきてもいいかも

あー，でも結局`secrets.GITHUB_TOKEN`ではダメかもしれないですね．GitHub App生やせばいいだけし僕がやったやつもそうなんですが，権限持ったGitHub Appは生やしてもらう必要があるかも(というかその場合たぶんこのActionも使える)．

ちょうどそれ見てた

あれ，C2AのProjectってリポジトリにくっついてた気がしてたけどorgか．じゃあGitHub App必須だわ．

たしかになあ

それでいうとこのActionそもそもorgのprojectのこと考えてなさそうだし一旦閉じですかね

あれほんとだ．どうやって名前だけで取ってくるんだろう．乱暴に検索してるのかな．

tlmごとにファイル分割したらどのくらいビルド時間変わるものなのかがまず気になる

む，`telemetry_source.h`ってそんなに頻繁に変更されるんです？と思ったけどそもそも開発環境側がちゃんと依存関係見て必要なやつだけビルドとかできないって話だろうか．