Skip to content

Comments

chore: adjust CI workflow names for bindings#6540

Merged
Xuanwo merged 1 commit intomainfrom
binding-ci
Sep 1, 2025
Merged

chore: adjust CI workflow names for bindings#6540
Xuanwo merged 1 commit intomainfrom
binding-ci

Conversation

@erickguan
Copy link
Member

Which issue does this PR close?

Closes #.

Rationale for this change

  • Add ruby-head for testing
  • Align workflow names

What changes are included in this PR?

Are there any user-facing changes?

@erickguan erickguan requested a review from Xuanwo as a code owner August 29, 2025 21:27
@dosubot dosubot bot added size:XS This PR changes 0-9 lines, ignoring generated files. releases-note/ci The PR modifies CI-related content or has a title that begins with "ci" labels Aug 29, 2025
@erickguan erickguan changed the title Chore for CI bindings chore: adjust CI workflow names for bindings Aug 29, 2025
@erickguan erickguan force-pushed the binding-ci branch 2 times, most recently from caed044 to e692800 Compare September 1, 2025 07:39
@erickguan
Copy link
Member Author

@Xuanwo I see the problem - bindgen for Ruby (rb-sys) has a feature for non stable API. Here I have stable access because of magnus.

Better not to deal with ruby-head for now.

@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Sep 1, 2025
@Xuanwo Xuanwo merged commit dc1c0f5 into main Sep 1, 2025
38 checks passed
@Xuanwo Xuanwo deleted the binding-ci branch September 1, 2025 07:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

lgtm This PR has been approved by a maintainer releases-note/ci The PR modifies CI-related content or has a title that begins with "ci" size:XS This PR changes 0-9 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants