SnO2WMaN
commented
2 weeks ago @iehality
このPRをマージしたいと思った場合，下記リンクの設定部分にあるGitHubのActionsがPRを作成可能かの部分にチェックを入れる必要がある．完了次第マージしてほしい．
https://github.com/FormalizedFormalLogic/Foundation/settings/actions
手動トリガーは https://github.com/FormalizedFormalLogic/Foundation/actions/workflows/update.yml のRun workflowから起動できる．
週に一度（日曜日の8時(UTC)）に自動的にLean自体の更新とMathlibなどの依存関係の更新を行う（成功すれば以下のようなPRが立つ / 失敗すればIssueが立つ（らしい））．この更新フローは手動でトリガーすることも出来る．
参考: https://github.com/SnO2WMaN/SmullyanTP/pull/1
close #104