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.

Sign up for GitHub

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

Jump to bottom

Add Cygwin to the CI #6685

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

Add Cygwin to the CI #6685

wants to merge 2 commits into from

Conversation

ethomson
Copy link
Member

No description provided.

@fd00
Copy link

fd00 commented Dec 15, 2023

This action may be easy to implement Github Actions

@ethomson
Copy link
Member Author

Yeah I saw that (and used it as an inspiration for our setup script). Thanks!

I want to keep everything in a setup script (if possible) so that it's easy to bootstrap a build on a local dev box but if there's a compelling reason to use a setup action instead I'm not opposed.

@ethomson ethomson force-pushed the ethomson/cygwin branch 6 times, most recently from 688441e to 95244b5 Compare December 19, 2023 12:43
@ethomson ethomson mentioned this pull request Dec 19, 2023
Merged
@ethomson ethomson force-pushed the ethomson/cygwin branch 2 times, most recently from 2b737e6 to b137bb7 Compare December 19, 2023 14:57
@ethomson
ci: add temporary cygwin build
6a7aed1 
Add a temporary Cygwin build to the PR CI while we work on Cygwin
compatibility.

We will move this to the nightlies when it is green.
@ethomson
ci: Cygwin builds for x86 as well
c305d96
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@ethomson @fd00