Code

Release v2.4.1+0.2.2+8.19#51

Code

Merged

K-dizzled merged 4 commits intomainJetBrains-Research/coqpilot:mainfrom v2.4.0-devJetBrains-Research/coqpilot:v2.4.0-devCopy head branch name to clipboardNov 27, 2024

+2,380-6,500

Commits

Commits on Nov 27, 2024

• Update deps to maximum possible versions & migrate eslint

  K-dizzled

  committed
  bf23cea

• Merge deps changes with v2.4.0-dev

  K-dizzled

  committed
  12afad2

• Prepare for hot release v2.4.1

  K-dizzled

  committed
  b56d1c1

• Update the vscode engine in package.json

  K-dizzled

  committed
  d07eaf0