Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 28, 2025

• feat: use `theia@1.57.0` (#2654)

  giacomocusinato

  authored
  859d29d

  Copy full SHA for 859d29d

Commits on Aug 14, 2023

• chore(deps): Updated to Theia `1.39.0` (#2144)

  Show description for 9a6a457
  kittaakos

  authored
  9a6a457

  Copy full SHA for 9a6a457

Commits on May 9, 2023

• chore: updated to Theia `1.37.0`

  Show description for 192aac5
  

  Akos Kitta

  authored and

  kittaakos

  committed
  192aac5

  Copy full SHA for 192aac5

Commits on Apr 13, 2023

• fix: propagate monitor errors to the frontend

  Show description for 80d5b5a
  

  Akos Kitta

  authored and

  kittaakos

  committed
  80d5b5a

  Copy full SHA for 80d5b5a

Commits on Nov 29, 2022

• chore: Updated to Theia `1.31.1` (#1662)

  Show description for ac9cce1
  kittaakos

  authored
  ac9cce1

  Copy full SHA for ac9cce1

Commits on Jun 7, 2022

• Pluggable monitor (#982)

  Show description for df8658e
  

  6 peopleauthored
  df8658e

  Copy full SHA for df8658e

Loading