Code

mdgen のバグで #lint コマンドの出力をアサートできていない#1293

Code

Merged

Seasawher merged 1 commit intomainlean-ja/lean-by-example:mainfrom Seasawher/issue1230lean-ja/lean-by-example:Seasawher/issue1230Copy head branch name to clipboardJan 4, 2025

+12-6

Commits

Commits on Jan 4, 2025

• mdgen のバグで #lint コマンドの出力をアサートできていない

  Show description for 2f2f589
  Seasawher

  committed
  2f2f589

  Copy full SHA for 2f2f589