{"action":"created","issue":{"url":"https://api.github.com/repos/querycert/qcert/issues/8","repository_url":"https://api.github.com/repos/querycert/qcert","labels_url":"https://api.github.com/repos/querycert/qcert/issues/8/labels{/name}","comments_url":"https://api.github.com/repos/querycert/qcert/issues/8/comments","events_url":"https://api.github.com/repos/querycert/qcert/issues/8/events","html_url":"https://github.com/querycert/qcert/issues/8","id":166094534,"number":8,"title":"Build server","user":{"login":"fehrenbach","id":203168,"avatar_url":"https://avatars.githubusercontent.com/u/203168?v=3","gravatar_id":"","url":"https://api.github.com/users/fehrenbach","html_url":"https://github.com/fehrenbach","followers_url":"https://api.github.com/users/fehrenbach/followers","following_url":"https://api.github.com/users/fehrenbach/following{/other_user}","gists_url":"https://api.github.com/users/fehrenbach/gists{/gist_id}","starred_url":"https://api.github.com/users/fehrenbach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fehrenbach/subscriptions","organizations_url":"https://api.github.com/users/fehrenbach/orgs","repos_url":"https://api.github.com/users/fehrenbach/repos","events_url":"https://api.github.com/users/fehrenbach/events{/privacy}","received_events_url":"https://api.github.com/users/fehrenbach/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-07-18T13:34:06Z","updated_at":"2016-07-24T20:59:55Z","closed_at":null,"body":"We should set up a build/test server.\r\nI have used Travis CI before, it is free for open source projects and you can get OPAM to work with some fiddling.\r\nI have also heard good things about CircleCI, but have not used it. They seem to have free plans for open source projects, too.\r\n\r\nWe could use this to automatically publish snapshots of the ocamljava-built jar to a maven repository, or upload as a release to github, addressing #4."},"comment":{"url":"https://api.github.com/repos/querycert/qcert/issues/comments/234802019","html_url":"https://github.com/querycert/qcert/issues/8#issuecomment-234802019","issue_url":"https://api.github.com/repos/querycert/qcert/issues/8","id":234802019,"user":{"login":"fehrenbach","id":203168,"avatar_url":"https://avatars.githubusercontent.com/u/203168?v=3","gravatar_id":"","url":"https://api.github.com/users/fehrenbach","html_url":"https://github.com/fehrenbach","followers_url":"https://api.github.com/users/fehrenbach/followers","following_url":"https://api.github.com/users/fehrenbach/following{/other_user}","gists_url":"https://api.github.com/users/fehrenbach/gists{/gist_id}","starred_url":"https://api.github.com/users/fehrenbach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fehrenbach/subscriptions","organizations_url":"https://api.github.com/users/fehrenbach/orgs","repos_url":"https://api.github.com/users/fehrenbach/repos","events_url":"https://api.github.com/users/fehrenbach/events{/privacy}","received_events_url":"https://api.github.com/users/fehrenbach/received_events","type":"User","site_admin":false},"created_at":"2016-07-24T20:59:55Z","updated_at":"2016-07-24T20:59:55Z","body":"I have a branch in my clone with Travis support. Unfortunately it times out. A clean build of QCert takes almost an hour. And we have to build Coq, because adding the OPAM repository breaks the binary Coq package, or something... The time limit is 50 or 45 minutes or something on Travis.\r\n\r\nI also have a branch with CircleCI support. They have a 2 hours build time limit, if I recall correctly. I managed to build the Coq code, the OCaml code (to native code), and the Spark2 runtime. I haven't tried the Java runtime, but that should work. I have yet another branch (I think I'm turning into Avi) that tries to build using ocamljava, but that doesn't work yet."}}
{"actor":{"display_login":"fehrenbach"}}