Code

chore: Theia 1.37.0#2027

Code

Merged

kittaakos merged 3 commits intoarduino:mainarduino/arduino-ide:mainfrom

kittaakos:theia-1.37.0-nextkittaakos/arduino-ide:theia-1.37.0-nextCopy head branch name to clipboard

May 9, 2023

Commits

Commits on May 9, 2023

• chore: updated to Theia `1.37.0`

  Show description for 7ad0ab7
  

  Akos Kitta

  committed
  7ad0ab7

  Copy full SHA for 7ad0ab7

• build: use `execFileSync` for npm scripts

  Show description for d8d2556
  

  Akos Kitta

  committed
  d8d2556

  Copy full SHA for d8d2556

• build: use `execa` for the packager

  Show description for ed007de
  

  Akos Kitta

  committed
  ed007de

  Copy full SHA for ed007de