nightly release に対してテストしている例

[Seasawher]

https://github.com/opencompl/veir/tree/main

[Seasawher]

https://release.lean-lang.org/ にアクセスすることで、Lean の nightly を含めたリリースのリストを取得することができる