Lean4を汎用的な関数型プログラミング言語として使うのならCIとかもちゃんとしないとダメだなと思ってGitHub Actionsを用意してみたが，Mathlibに依存していると凄まじく時間がかかり，どうにかしようとしたが結局よくわからなかった（何をキャッシュすればよいのだろう？）

https://scrapbox.io/sno2wman/Lean_4_on_GitHub_Actions