Code

doc: VS Code dev setup#2961

Code

Merged

Kha merged 5 commits intoleanprover:masterleanprover/lean4:masterfrom Kha:vsc-dev-setupKha/lean4:vsc-dev-setupCopy head branch name to clipboardNov 30, 2023

+68-19

Commits

Commits on Nov 28, 2023

• doc: VS Code dev setup

  

  Kha

  authored and

  mhuisi

  committed
  4255904

  Copy full SHA for 4255904

Commits on Nov 29, 2023

• fix: don't crash when switching between folders

  mhuisi

  committed
  26c0eb4

  Copy full SHA for 26c0eb4

• doc: lean-toolchain files

  mhuisi

  committed
  68adacf

  Copy full SHA for 68adacf

• fix CI?

  Kha

  authored
  b8c72c5

  Copy full SHA for b8c72c5

• fix CI more

  Kha

  authored
  c233091

  Copy full SHA for c233091