Skip to content

GHA: Lighten macos jobs#6745

Merged
kit-ty-kate merged 2 commits intoocaml:masterfrom
rjbou:lighten-macos-jobs
Oct 16, 2025
Merged

GHA: Lighten macos jobs#6745
kit-ty-kate merged 2 commits intoocaml:masterfrom
rjbou:lighten-macos-jobs

Conversation

@rjbou
Copy link
Copy Markdown
Collaborator

@rjbou rjbou commented Oct 16, 2025

  • remove upgrade from 1.2 to current version macos job
  • enable solvers jobs on macos only if src/solver is modified

@rjbou rjbou requested a review from kit-ty-kate October 16, 2025 19:09
@rjbou rjbou force-pushed the lighten-macos-jobs branch from 464a0db to b604abe Compare October 16, 2025 19:11
- name: Checkout tree
uses: actions/checkout@v5
- name: Get changed files
id: files
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this id isn't used

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

because I forgot to propagate the condition

@rjbou rjbou force-pushed the lighten-macos-jobs branch from b604abe to 6ddb2f3 Compare October 16, 2025 19:23
@rjbou rjbou added this to the 2.5.0~alpha1 milestone Oct 16, 2025
@kit-ty-kate
Copy link
Copy Markdown
Member

Works on @rjbou's fork. Merging to speedup the release process

@kit-ty-kate kit-ty-kate merged commit bec2b7d into ocaml:master Oct 16, 2025
2 of 28 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants