{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2049","repository_url":"https://api.github.com/repos/idris-lang/Idris-dev","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2049/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2049/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2049/events","html_url":"https://github.com/idris-lang/Idris-dev/issues/2049","id":63545863,"number":2049,"title":"Use travis to check Documentation build.","user":{"login":"jfdm","id":331273,"avatar_url":"https://avatars.githubusercontent.com/u/331273?v=3","gravatar_id":"","url":"https://api.github.com/users/jfdm","html_url":"https://github.com/jfdm","followers_url":"https://api.github.com/users/jfdm/followers","following_url":"https://api.github.com/users/jfdm/following{/other_user}","gists_url":"https://api.github.com/users/jfdm/gists{/gist_id}","starred_url":"https://api.github.com/users/jfdm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jfdm/subscriptions","organizations_url":"https://api.github.com/users/jfdm/orgs","repos_url":"https://api.github.com/users/jfdm/repos","events_url":"https://api.github.com/users/jfdm/events{/privacy}","received_events_url":"https://api.github.com/users/jfdm/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/C-Low%20Hanging%20Fruit","name":"C-Low Hanging Fruit","color":"006b75"},{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/U-Documentation","name":"U-Documentation","color":"d4c5f9"},{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/Z-Feature%20Request","name":"Z-Feature Request","color":"0e8a16"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-03-22T15:46:12Z","updated_at":"2016-04-13T06:35:17Z","closed_at":null,"body":"We now have sphinx based documentation. In the current pipeline for documentation generation mistakes in sphinx builds for html and pdf only appear once the docs are passed onto readthedocs. Thus mistakes in reST format will only be picked up post merge into master. \r\n\r\n    Should we add sphinx build testing to travis to pick up faults pre merge?\r\n"},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/209253261","html_url":"https://github.com/idris-lang/Idris-dev/issues/2049#issuecomment-209253261","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2049","id":209253261,"user":{"login":"jfdm","id":331273,"avatar_url":"https://avatars.githubusercontent.com/u/331273?v=3","gravatar_id":"","url":"https://api.github.com/users/jfdm","html_url":"https://github.com/jfdm","followers_url":"https://api.github.com/users/jfdm/followers","following_url":"https://api.github.com/users/jfdm/following{/other_user}","gists_url":"https://api.github.com/users/jfdm/gists{/gist_id}","starred_url":"https://api.github.com/users/jfdm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jfdm/subscriptions","organizations_url":"https://api.github.com/users/jfdm/orgs","repos_url":"https://api.github.com/users/jfdm/repos","events_url":"https://api.github.com/users/jfdm/events{/privacy}","received_events_url":"https://api.github.com/users/jfdm/received_events","type":"User","site_admin":false},"created_at":"2016-04-13T06:35:17Z","updated_at":"2016-04-13T06:35:17Z","body":"Yeah, i thought that too but the travis file doesn't have it...I should have time to look at this today..."}}