{"action":"created","issue":{"url":"https://api.github.com/repos/klee/klee/issues/245","labels_url":"https://api.github.com/repos/klee/klee/issues/245/labels{/name}","comments_url":"https://api.github.com/repos/klee/klee/issues/245/comments","events_url":"https://api.github.com/repos/klee/klee/issues/245/events","html_url":"https://github.com/klee/klee/pull/245","id":88502954,"number":245,"title":"Added coverage to travis CI","user":{"login":"kren1","id":310855,"avatar_url":"https://avatars.githubusercontent.com/u/310855?v=3","gravatar_id":"","url":"https://api.github.com/users/kren1","html_url":"https://github.com/kren1","followers_url":"https://api.github.com/users/kren1/followers","following_url":"https://api.github.com/users/kren1/following{/other_user}","gists_url":"https://api.github.com/users/kren1/gists{/gist_id}","starred_url":"https://api.github.com/users/kren1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kren1/subscriptions","organizations_url":"https://api.github.com/users/kren1/orgs","repos_url":"https://api.github.com/users/kren1/repos","events_url":"https://api.github.com/users/kren1/events{/privacy}","received_events_url":"https://api.github.com/users/kren1/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-06-15T18:27:27Z","updated_at":"2015-06-16T12:45:30Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/klee/klee/pulls/245","html_url":"https://github.com/klee/klee/pull/245","diff_url":"https://github.com/klee/klee/pull/245.diff","patch_url":"https://github.com/klee/klee/pull/245.patch"},"body":"Does coverage analysis for one of the runs and copies it to the server.\r\n\r\nData can be accessed here:\r\nhttp://vm-klee.doc.ic.ac.uk:55555/index.html\r\n\r\ncouple of notes:\r\n- Everything worked on my fork in travis CI. However I changed the secrets to be encrypted with klee/klee key, so it can't be tested without actually merging in\r\n- Currently uses my fork of zcov, becuase a bugfix hasn't been merged on the main branch yet"},"comment":{"url":"https://api.github.com/repos/klee/klee/issues/comments/112412439","html_url":"https://github.com/klee/klee/pull/245#issuecomment-112412439","issue_url":"https://api.github.com/repos/klee/klee/issues/245","id":112412439,"user":{"login":"kren1","id":310855,"avatar_url":"https://avatars.githubusercontent.com/u/310855?v=3","gravatar_id":"","url":"https://api.github.com/users/kren1","html_url":"https://github.com/kren1","followers_url":"https://api.github.com/users/kren1/followers","following_url":"https://api.github.com/users/kren1/following{/other_user}","gists_url":"https://api.github.com/users/kren1/gists{/gist_id}","starred_url":"https://api.github.com/users/kren1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kren1/subscriptions","organizations_url":"https://api.github.com/users/kren1/orgs","repos_url":"https://api.github.com/users/kren1/repos","events_url":"https://api.github.com/users/kren1/events{/privacy}","received_events_url":"https://api.github.com/users/kren1/received_events","type":"User","site_admin":false},"created_at":"2015-06-16T12:45:30Z","updated_at":"2015-06-16T12:45:30Z","body":"@delcypher \r\nHere is the output of that command http://pastebin.com/kGUKJBbW . Looks good to me. It worked without COVERAGE=0, but there was technically an error in the if statement so I added it for safety.\r\n\r\nI've also tested it with COVERAGE set and that didn't work, because there was some stuff like curl missing and it didn't like the python etc. So coverage shouldn't be used with docker."}}