3 – mongodb-downloader
78%
main: 78%

Ran 02 Jul 2025 02:14PM UTC

Files 1

Run time 6s

Badge

Embed ▾

Committed 02 Jul 2025 02:04PM UTC coverage: 100.0%. Remained the same

Subproject # mongodb-downloader – 16027326212.3

Build Type

push

github

Committed by

web-flow

Commit Message

chore: figure out all the types we need at runtime, bundle them as giant strings, serve them to the language server MONGOSH-2350 (#555)

* figure out all the types we need at runtime

* bundle the js library and node types

* cleanup

* pass in an optional fallback servicesHost from tests

* deal with the optimisation that some files aren't included a bit better

* s/fixtures/types

* nits

Run Details

1 of 1 relevant lines covered (100.0%)

1.0 hits per line

mongodb-js / devtools-shared / 16027326212 / 3 – mongodb-downloader
78%
main: 78%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job mongodb-downloader - 16027326212.3

mongodb-js / devtools-shared / 16027326212 / 3 – mongodb-downloader 78% main: 78%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job mongodb-downloader - 16027326212.3

mongodb-js / devtools-shared / 16027326212 / 3 – mongodb-downloader
78%
main: 78%

README BADGES
x