Code

Auto-format all files#142

Code

Merged

aabounegm merged 3 commits intomainrzk-lang/sHoTT:mainfrom formattingrzk-lang/sHoTT:formattingCopy head branch name to clipboardDec 12, 2023

+3,540-3,481

Commits

Commits on Dec 5, 2023

• Run the new autoformatter on all files

  aabounegm

  committed
  6ffd5bb

  Copy full SHA for 6ffd5bb

Commits on Dec 12, 2023

• Enable Rzk formatter in settings

  aabounegm

  committed
  86a89ee

  Copy full SHA for 86a89ee

• Add formatting check step to the CI

  aabounegm

  committed
  25abd62

  Copy full SHA for 25abd62