|
Ran
|
Jobs
1
|
Files
476
|
Run time
20s
|
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)
62195 of 114050 branches covered (54.53%)
93174 of 108593 relevant lines covered (85.8%)
2859996.95 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 5473019499.1 | 0 |
85.8 |
GitHub Action Run |