Code

windows build は PR 時に走らせない#717

Code

Merged

Seasawher merged 1 commit intomainlean-ja/lean-by-example:mainfrom Seasawher/issue716lean-ja/lean-by-example:Seasawher/issue716Copy head branch name to clipboardAug 28, 2024

+4

Commits

Commits on Aug 28, 2024

• windows build は PR 時に走らせない

  Show description for 3a7e683
  Seasawher

  committed
  3a7e683

  Copy full SHA for 3a7e683