Skip to content

Unpin rdoc on the JRuby CI - #3057

Merged
soutaro merged 1 commit into
masterfrom
claude/jruby-rdoc-8
Jul 30, 2026
Merged

Unpin rdoc on the JRuby CI#3057
soutaro merged 1 commit into
masterfrom
claude/jruby-rdoc-8

Conversation

@soutaro

@soutaro soutaro commented Jul 30, 2026

Copy link
Copy Markdown
Member

rdoc 8 needs rbs >= 4.0.0, which resolved to the C-extension gem when the pin went in. gem install rdoc now picks up rbs-4.1.1-java, so the pin is no longer needed.

rdoc 8 needs `rbs >= 4.0.0`, which resolved to the C-extension gem when the pin went in.
`gem install rdoc` now picks up `rbs-4.1.1-java`, so the pin is no longer needed.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PhJnDiMKwunqnLpuXzRY7v
@soutaro
soutaro force-pushed the claude/jruby-rdoc-8 branch from 3e597cc to 39d98d3 Compare July 30, 2026 15:03
@soutaro
soutaro enabled auto-merge July 30, 2026 15:04
@soutaro soutaro added the skip-changelog Skip PRs in CHANGELOGs label Jul 30, 2026
@soutaro
soutaro added this pull request to the merge queue Jul 30, 2026
Merged via the queue into master with commit ba38b2a Jul 30, 2026
24 checks passed
@soutaro
soutaro deleted the claude/jruby-rdoc-8 branch July 30, 2026 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog Skip PRs in CHANGELOGs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants