Code

Webpage Generation#7

Code

Closed

TOTBWF wants to merge 5 commits intomainRedPRL/agda-mugen:mainfrom htmlRedPRL/agda-mugen:htmlCopy head branch name to clipboard

+17-4

Commits

Commits on Oct 5, 2022

• ci: deploy html???

  TOTBWF

  committed
  43e926f

  Copy full SHA for 43e926f

• ci: worship amy's fix

  TOTBWF

  committed
  4af93c4

  Copy full SHA for 4af93c4

• fix: remove --experimental-lossy-unification

  TOTBWF

  committed
  0444573

  Copy full SHA for 0444573

• ci: try with —lossy-unification

  TOTBWF

  authored
  ef5f836

  Copy full SHA for ef5f836

Commits on Oct 6, 2022

• ci: Try —no-load-primitive in workflow

  TOTBWF

  authored
  6007258

  Copy full SHA for 6007258