|
Ran
|
Jobs
1
|
Files
459
|
Run time
19s
|
Badge
README BADGES
|
push
github
box: fix shared lang between connected clients Fixed the implementation of the box console. Before this fix, result of `\set language` is shared between clients via `console.connect`, despite the fact that clients have different `box.session.id`. Now the parameter of the selected language is stored by each client in his own `box.session.storage`. Fixes #8817 NO_DOC=bugfix (cherry picked from commit e4fda4b7d)
59182 of 108170 branches covered (54.71%)
90305 of 106149 relevant lines covered (85.07%)
2493137.8 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 5855393439.1 | 0 |
85.07 |
GitHub Action Run |