lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

Automatic `lake update`

Open SnO2WMaN opened this issue 7 months ago • 0 comments

ローカル環境で更新を試すとそれなりに重く時間のかかる作業になってしまうため，定期的にまたは手動でlake updateをCI上で行い，ビルドが成功するならPRを自動で立てるようなActionがあっても良いかもしれない．

SnO2WMaN avatar Jul 19 '24 21:07 SnO2WMaN