Skip to content

Modernise the Cygwin CI setup#85

Merged
wilfwilson merged 3 commits into
peal:masterfrom
wilfwilson:ci
Sep 12, 2025
Merged

Modernise the Cygwin CI setup#85
wilfwilson merged 3 commits into
peal:masterfrom
wilfwilson:ci

Conversation

@wilfwilson

@wilfwilson wilfwilson commented Sep 12, 2025

Copy link
Copy Markdown
Collaborator

This changes the CI for the Cygwin job to be almost identical to the CI for the Ubuntu jobs. This is now possible because of some improvements to the gap-actions/setup-cygwin action and the rest of the gap-actions stuff.

I haven't actually merged the jobs, as I normally would and as I suggested in #82, because the Cygwin job is really slow (6 hours?), and so we don't want it to run whenever we run the Ubuntu jobs. So having it as a separate Workflow means that it can be triggered in different circumstances.

These circumstances now are manually, on schedule once a week, and I've newly added on pushes to master, which is something that I think we do infrequently enough that it's worth the cost.

I've run the Cygwin job on my fork, you can see it progressing at https://github.com/wilfwilson/vole/actions/workflows/cygwin.yml

Resolves #82.

@wilfwilson wilfwilson added the topic: ci Oh dear label Sep 12, 2025
@wilfwilson wilfwilson force-pushed the ci branch 2 times, most recently from 2713a10 to 744425a Compare September 12, 2025 11:54
@wilfwilson wilfwilson force-pushed the ci branch 2 times, most recently from af0985a to 2f73ddb Compare September 12, 2025 11:57
@wilfwilson wilfwilson merged commit a6fb33b into peal:master Sep 12, 2025
8 checks passed
@wilfwilson wilfwilson deleted the ci branch September 12, 2025 15:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: ci Oh dear

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Merge the Windows and Ubuntu CI jobs

1 participant