zulip
/
zulip
/
320
/
7
3%
master: 3%
master: 3%
|
Ran
|
Files
376
|
Run time
23s
|
Badge
Embed ▾
README BADGES
|
coverage: 91.949% (+1.9%) from 90.07%
push
travis-ci
showellRevert "muting.js: Track muted streams using stream id." This reverts commit c7f710b8d. Because the back end still stores muted topics fundamentally using stream name as a key, trying to cut over the client to use stream id was just making things more brittle. Mutes would work after renaming the stream, which was progress in the change that we revert here, but only until page load. The other problem, which is more severe, is that the order of page loading functions would cause no mutes to happen at page load time. This could be fixed to some degree, but we should do a deeper fix on the back end.
32582 of 35435 relevant lines covered (91.95%)
0.92 hits per line
