Code

Make/build cut-off#4477

Code

Open

wclr wants to merge 8 commits intopurescript:masterpurescript/purescript:masterfrom

wclr:make-cutoffwclr/purescript:make-cutoffCopy head branch name to clipboard

Commits

Commits on Jun 9, 2025

• Make cut-off, the main piece

  wclr

  committed
  118a12f

  Copy full SHA for 118a12f

• Fix linting error.

  wclr

  committed
  69f94f1

  Copy full SHA for 69f94f1

• Refactor externs diff and make api, fix some review sugs

  wclr

  committed
  d4a4ad6

  Copy full SHA for d4a4ad6

• Add comments to BuildPlan

  wclr

  committed
  28f3bf0

  Copy full SHA for 28f3bf0

• Added requested changes, don't recompile downstream after the error, tests updated and commented.

  wclr

  committed
  1d25867

  Copy full SHA for 1d25867

• Update ExternsDiff.checkUsage, add tests

  wclr

  committed
  bde9483

  Copy full SHA for bde9483

• Add serialize instances for saving warnings

  wclr

  committed
  31aba1a

  Copy full SHA for 31aba1a

• Cut off update: warnings, build reason, log file

  wclr

  committed
  a49b446

  Copy full SHA for a49b446