Code

break user guide#12

Code

Open

expipiplus1 wants to merge 4 commits intomasterexpipiplus1/slang:masterfrom push-pmmurkmuzvyyexpipiplus1/slang:push-pmmurkmuzvyyCopy head branch name to clipboard

Commits

Commits on Nov 25, 2024

• Sort filenames when generating table of contents

  Show description for 4153544
  expipiplus1

  committed
  4153544

  Copy full SHA for 4153544

• Add build table of contents bash script

  expipiplus1

  committed
  005b4be

  Copy full SHA for 005b4be

• Add toc checking to CI

  expipiplus1

  committed
  c17dd65

  Copy full SHA for c17dd65

• Add --check-only option to toc checking

  expipiplus1

  committed
  bbc1868

  Copy full SHA for bbc1868