Skip to content

Add prometheus info metrics listing server extensions + versions#1470

Merged
Zsailer merged 4 commits intojupyter-server:mainfrom yuvipanda:add-extNov 4, 2024