Code

fix: update semver#343

Code

Merged

mhuisi merged 2 commits intoleanprover:masterleanprover/vscode-lean4:masterfrom hhu-adam:update-semverCopy head branch name to clipboardNov 14, 2023

+12-57

Commits

Commits on Oct 27, 2023

• update semver

  joneugster

  committed
  fe3be15

  Copy full SHA for fe3be15

Commits on Nov 2, 2023

• use correct package-lock

  joneugster

  committed
  eb597dd

  Copy full SHA for eb597dd