1
66%
master: 66%

Ran 11 Oct 2018 02:21PM UTC

Files 51

Run time 3s

Badge

Embed ▾

Committed 11 Oct 2018 02:10PM UTC coverage: 65.434%. First build

Job # 2033.1

Build Type

push

travis-ci

Committed by

jeffallen

Commit Message

Optionally list the WebSocket-side URL in ServerIdentity

This change makes it possible to indicate to the websocket
client where it should contact a given server. In the past, the
websocket side of all servers had to be on port p+1. With
this change, it is possible to indicate in a roster.toml
file the correct URL to use to contact a given server.

Also: Fixed a problem go vet found.

Run Details

5501 of 8407 relevant lines covered (65.43%)

158.09 hits per line

dedis / onet / 2033 / 1
66%
master: 66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2033.1

dedis / onet / 2033 / 1 66% master: 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2033.1

dedis / onet / 2033 / 1
66%
master: 66%

README BADGES
x