Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Windows CI Setup #1948

Closed
jfdm opened this issue Feb 25, 2015 · 7 comments
Closed

Windows CI Setup #1948

jfdm opened this issue Feb 25, 2015 · 7 comments

Comments

@jfdm
Copy link
Contributor

@jfdm jfdm commented Feb 25, 2015

Currently we use travis to provide CI testing for Idris on Linux boxes, this has the nice side effect of CI for Mac OS X. It would be nice if we can provide CI testing for Windows machines.

This is not my idea @david-christiansen has mentioned it a few times, and I am in full agreement. AppVeyor seems to be a suitable candidate and a cursory glance implies that the Build Instructions and Scripts for Windows can be adapted accordingly. Whether AppVeyor is the best (or maybe only) Windows CI service is another matter.

@david-christiansen
Copy link
Contributor

@david-christiansen david-christiansen commented Feb 25, 2015

AppVeyor seems to be what the F# folks use, in any case, and it seemed the most Travis-like when I looked at it before.

@jfdm
Copy link
Contributor Author

@jfdm jfdm commented Feb 25, 2015

Actually, I agree with AppVeyor but you know devils advocate...

@cnd
Copy link
Contributor

@cnd cnd commented Feb 25, 2015

Also it will be glad to repair make test_c , related issue: #1936

@LeifW
Copy link
Contributor

@LeifW LeifW commented Feb 26, 2015

There's also http://win-builds.org. Maybe it's focused more on packaging than CI?

@melted melted added the P-Windows label Sep 7, 2015
@enolan
Copy link
Contributor

@enolan enolan commented Dec 9, 2015

I'm working on this. Stuck on commercialhaskell/stack#1482

enolan added a commit to enolan/Idris-dev that referenced this issue Mar 9, 2016
enolan added a commit to enolan/Idris-dev that referenced this issue Mar 9, 2016
@ahmadsalim
Copy link

@ahmadsalim ahmadsalim commented Apr 12, 2016

@enolan Thanks for the effort so far, is there any way one could try to work around the bug you are stuck on?

@enolan
Copy link
Contributor

@enolan enolan commented Apr 12, 2016

I'm actually past that and stuck on a different bug :) I've been stubbornly
trying to fix a problem with Stack where it intermittently hangs for a long
time now. Turning off concurrent builds might be a workaround. If so, I'm
all but done. I'll look into it.

On Tue, Apr 12, 2016, 1:17 PM Ahmad Salim Al-Sibahi <
notifications@github.com> wrote:

@enolan https://github.com/enolan Thanks for the effort so far, is
there any way one could try to work around the bug you are stuck on?


You are receiving this because you were mentioned.
Reply to this email directly or view it on GitHub
#1948 (comment)

enolan added a commit to enolan/Idris-dev that referenced this issue Apr 15, 2016
enolan added a commit to enolan/Idris-dev that referenced this issue Apr 15, 2016
enolan added a commit to enolan/Idris-dev that referenced this issue Apr 16, 2016
enolan added a commit to enolan/Idris-dev that referenced this issue Apr 16, 2016
enolan added a commit to enolan/Idris-dev that referenced this issue Apr 16, 2016
melted added a commit to melted/Idris-dev that referenced this issue Jul 30, 2016
melted added a commit to melted/Idris-dev that referenced this issue Jul 30, 2016
melted added a commit to melted/Idris-dev that referenced this issue Jul 30, 2016
melted added a commit to melted/Idris-dev that referenced this issue Jul 30, 2016
@melted melted closed this in #3296 Jul 30, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
7 participants
You can’t perform that action at this time.