archive-gh-me/gitpod
1
0
Fork 0
mirror of https://github.com/gitpod-io/gitpod.git synced 2025-12-08 17:36:30 +00:00
Code Issues Projects Releases Wiki Activity
9,667 Commits 1,231 Branches 1,883 Tags
Commit Graph

6 Commits

Author SHA1 Message Date
Wouter Verlaek
c14a25cfdf
[ws-manager-mk2] Report content init/dispose failures (#17015) 2023-03-27 17:22:25 +02:00
Wouter Verlaek
e07b0c8b77
[ws-manager-mk2] Refactor metric collection and add tests (#16585) 2023-03-01 12:16:58 +01:00
Thomas Schubart
382bde1767 [ws-manager-mk2] Switch to lru cache 2023-01-30 23:22:38 +01:00
Thomas Schubart
55ff7cd73b [ws-manager-mk2] Remove obsolete code 2023-01-30 23:22:38 +01:00
Thomas Schubart
63f168ab38 [ws-manager-mk2] Add metrics 2023-01-30 23:22:38 +01:00
Thomas Schubart
2e5ac7e4de [ws-manager-mk2] Register metrics 2023-01-30 23:22:38 +01:00