2033
66%
master: 66%

Ran 11 Oct 2018 02:21PM UTC

Jobs 1

Files 51

Run time 4s

Badge

Embed ▾

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

Build # 2033

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	2033.1	11 Oct 2018 02:21PM UTC	0	65.43	Travis Job 2033.1

Source Files on build 2033

Detailed source file information is not available for this build.

dedis / onet / 2033
66%
master: 66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2033

dedis / onet / 2033 66% master: 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2033

dedis / onet / 2033
66%
master: 66%

README BADGES
x