payload: {"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1360","repository_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell","labels_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1360/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1360/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1360/events","html_url":"https://github.com/ucsd-progsys/liquidhaskell/pull/1360","id":367978294,"node_id":"MDExOlB1bGxSZXF1ZXN0MjIxMjYyNjYx","number":1360,"title":"AppVeyor Windows CI builds support","user":{"login":"varosi","id":6051718,"node_id":"MDQ6VXNlcjYwNTE3MTg=","avatar_url":"https://avatars3.githubusercontent.com/u/6051718?v=4","gravatar_id":"","url":"https://api.github.com/users/varosi","html_url":"https://github.com/varosi","followers_url":"https://api.github.com/users/varosi/followers","following_url":"https://api.github.com/users/varosi/following{/other_user}","gists_url":"https://api.github.com/users/varosi/gists{/gist_id}","starred_url":"https://api.github.com/users/varosi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/varosi/subscriptions","organizations_url":"https://api.github.com/users/varosi/orgs","repos_url":"https://api.github.com/users/varosi/repos","events_url":"https://api.github.com/users/varosi/events{/privacy}","received_events_url":"https://api.github.com/users/varosi/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":15,"created_at":"2018-10-08T22:45:18Z","updated_at":"2019-03-26T23:25:39Z","closed_at":"2019-03-26T18:12:52Z","author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/pulls/1360","html_url":"https://github.com/ucsd-progsys/liquidhaskell/pull/1360","diff_url":"https://github.com/ucsd-progsys/liquidhaskell/pull/1360.diff","patch_url":"https://github.com/ucsd-progsys/liquidhaskell/pull/1360.patch"},"body":"At ICFP 2018 I have promised to @nikivazou a Windows CI. Here it is.\r\n\r\nNote: there is a file benchmarks/wouter-swierstra-xmonad-7715ec2/src/Aux.v that Windows doesn't like for some reason and GIT checkout doesn't succeed. I don't know what to do about it, but I'll try more attempts following days. It would be great if GitHub account for LiquidHaskell is setup so it does not allow for pull requests to be merged without passed this CI builds. This will guarantee future support for Windows invariant after any changes. This is done from GitHub project Settings | Branches | Add Rule | choose a branch and set require status checks on continuous-integration/appveyor/branch."},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/comments/476893281","html_url":"https://github.com/ucsd-progsys/liquidhaskell/pull/1360#issuecomment-476893281","issue_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1360","id":476893281,"node_id":"MDEyOklzc3VlQ29tbWVudDQ3Njg5MzI4MQ==","user":{"login":"varosi","id":6051718,"node_id":"MDQ6VXNlcjYwNTE3MTg=","avatar_url":"https://avatars3.githubusercontent.com/u/6051718?v=4","gravatar_id":"","url":"https://api.github.com/users/varosi","html_url":"https://github.com/varosi","followers_url":"https://api.github.com/users/varosi/followers","following_url":"https://api.github.com/users/varosi/following{/other_user}","gists_url":"https://api.github.com/users/varosi/gists{/gist_id}","starred_url":"https://api.github.com/users/varosi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/varosi/subscriptions","organizations_url":"https://api.github.com/users/varosi/orgs","repos_url":"https://api.github.com/users/varosi/repos","events_url":"https://api.github.com/users/varosi/events{/privacy}","received_events_url":"https://api.github.com/users/varosi/received_events","type":"User","site_admin":false},"created_at":"2019-03-26T23:25:39Z","updated_at":"2019-03-26T23:25:39Z","author_association":"CONTRIBUTOR","body":"There is a regression in GHC 8.6.3 which is fixed in 8.6.4 for Windows. See https://www.haskell.org/ghc/blog/20190305-ghc-8.6.4-released.html\r\n\r\nCurrently I found that 32bit GHC 8.6.4 binaries are missing, so I failed an issue - https://github.com/commercialhaskell/stack/issues/4662\r\n\r\nWe have to wait a little bit so FP Complete people upload 32bit GHC.\r\n\r\nCurrently here you could see my successful build with GHC 8.6.3:\r\nhttps://ci.appveyor.com/project/varosi/liquidhaskell/builds/23381710\r\n\r\nbut resulting binaries are not runnable on Windows.\r\n"}}
other: {"actor":{"display_login":"varosi"}}