2020-10-24

sbt 1.4からのpipeline機能を試したら3割compile時間短縮された

sbt scala

3割というのは、もちろんprojectの構成だったり、計測方法やその他色々によるわけですが、とにかく自分が計測した場合には3割短縮されました。114秒が80秒になりました。

2020-10-17

GitHub Actionsとscala-stewardを組み合わせてtokenやbot accountの用意すらせずにpull reqを送ってもらう方法

scala github

scala-stewardという、全自動でScala projectのlibrary update pull requestを送ってくれるやつが数年前からある
https://github.com/scala-steward-org/scala-steward
しばらくは、OSSなpublicなものは、普通、公式のリポジトリ一覧が書いてあるファイルに、自分のリポジトリを追記するpull reqを送ってmergeしてもらう方式だった
これ https://github.com/scala-steward-org/repos/blob/7295c03b9fc26d54e057e8307bfc5578733cd59d/repos-github.md
それはそれで一度mergeされれば運用必要ないので楽だが、頻繁に追記や変更、削除する場合は、わざわざmergeしてもらう手間が面倒
もちろん、private repoだったり、github enterpriseや他のプラットフォーム(github以外もサポートしてる)の場合は、独自インスタンスを立ち上げて自由に動かすことも可能だが、それはそれで運用の手間増える(前職でそれやったなぁ)
今年5月くらいに、GitHub Actions用のものが作られた、やった〜
https://github.com/scala-steward-org/scala-steward-action
それを使えば、上記の微妙なデメリット(pull reqのmergeの手間 or 運用の手間)が解消される
しかしこれの現状の使い方としては (botあるいは自分の)tokenを用意して、scala-stewardを動かしたいrepositoryの設定からそれを登録 という作業が必要である
ここでの微妙な問題点としては
- あまりこだわらないなら自分のtokenでいいが、とはいえ完全自動変更なので、自分とは別の、適当なbotアカウントからのpull reqにしたいこともある
- とはいえ、それぞれのユーザーがbotアカウント作るのは面倒(そもそもgithubの規約上、そんなに気軽に作って良いのか、よくわかってない)
よって、tokenやbotすら用意する必要ない方法を見つけたので、scala-steward本体のgithub actionsのrepositoryにpull reqした(ｲﾏｺｺ
この方法は、それはそれで、使って良いのか謎なgithub側の実装依存な可能性もなくもないが・・・
https://github.com/scala-steward-org/scala-steward-action/pull/176
- これ、何もリリースしなくても、forkしたrepoでも xuwei-k/scala-steward-action@65461e9a57695ac4522cd0fb36ffa0596beab835 みたいにhash値を直書きでも動かせるんですね、とても便利
- 使い方例 https://github.com/xuwei-k/scala-steward-test-1/commit/d871418d30c944d750cddc4ae894fc46090a0f64
- 実際にgithub-actions botから送られたpull req https://github.com/xuwei-k/scala-steward-test-1/pull/1

追記:

つらい

github.community

GitHubのスタッフの方が言っている以下のことですか？
> Events raised from workflows using the GITHUB_TOKEN do not currently trigger other workflows.https://t.co/EOSaaoWZy0
— nwtgck (ja) (@nwtgck_ja) 2020年10月19日

GitHub Actions以外の他のCIは動くので、scala-stewardは以前blogに書いた方法で自分のリポジトリで動かしつつ、TravisCIなどで普通のCIやってたら、それはそのまま維持して複数のCI併用すればいいか、という謎のノウハウが https://t.co/faKK7yCkvT
— Kenji Yoshida (@xuwei_k) 2020年10月19日