Code

linter.style.multiGoal を紹介する#1089

Code

Merged

Seasawher merged 4 commits intomainlean-ja/lean-by-example:mainfrom Seasawher/issue1006lean-ja/lean-by-example:Seasawher/issue1006Copy head branch name to clipboardNov 12, 2024

+37

Commits

Commits on Nov 12, 2024

• linter.style.multiGoal を紹介する

  Show description for d21e1d5
  Seasawher

  committed
  d21e1d5

  Copy full SHA for d21e1d5

• CI の build args の修正

  Seasawher

  committed
  7ebc640

  Copy full SHA for 7ebc640

• CI を修正

  Seasawher

  committed
  b8a8c37

  Copy full SHA for b8a8c37

• import されるファイル名を修正する

  Seasawher

  committed
  02eb170

  Copy full SHA for 02eb170