Code

chore: Merge branch dev to main#3

Code

Merged

PocketMiner82 merged 5 commits intomainPocketMiner82/pseudocode-ide:mainfrom devPocketMiner82/pseudocode-ide:devCopy head branch name to clipboardApr 2, 2024

+39-9

Commits

Commits on Apr 2, 2024

• fix: this is not a fix but a test if a fix triggers a changelog entry, just removed unused imports.

  PocketMiner82

  committed
  1860365

  Copy full SHA for 1860365

• Merge branch 'dev' of https://github.com/PocketMiner82/pseudocode-ide into dev

  PocketMiner82

  committed
  df0d280

  Copy full SHA for df0d280

• chore(release): 1.2.5-dev.1 [skip ci]

  Show description for 70d99d3
  semantic-release-bot

  committed
  70d99d3

  Copy full SHA for 70d99d3

• ci: add branches to pull request config

  PocketMiner82

  authored
  d5ac817

  Copy full SHA for d5ac817

• ci: auto open PR to main on push to dev

  PocketMiner82

  committed
  4285db4

  Copy full SHA for 4285db4