Skip to content

update chisel3 and scala-library - #72

Merged
zhutmost merged 1 commit into
mainfrom
update/chisel
Oct 6, 2026
Merged

zhutmost merged 1 commit into
mainfrom
update/chisel

Conversation

@scala-steward-zhutmost

@scala-steward-zhutmost scala-steward-zhutmost Bot commented Nov 27, 2025 •

Copy link
Copy Markdown
Contributor

About this PR

Updates:

Usage

✅ Please merge!

I'll automatically update this PR to resolve conflicts as long as you don't change it yourself.

If you have any feedback, just mention me in the comments below.

Configure Scala Steward for your repository with a .scala-steward.conf file.

Have a fantastic day writing Scala!

🔍 Files still referring to the old version numbers

The following files still refer to the old version numbers.
You might want to review and update them manually.

README.md
⚙ Adjust future updates

Add these to your .scala-steward.conf file to ignore future updates of these dependencies:

updates.ignore = [
  { groupId = "org.scala-lang", artifactId = "scala-library" }
]

Or, add these to slow down future updates of these dependencies:

dependencyOverrides = [
  {
    pullRequests = { frequency = "30 days" },
    dependency = { groupId = "org.scala-lang", artifactId = "scala-library" }
  }
]
labels: dependency, library-update, early-semver-minor, semver-spec-minor, version-scheme:always, old-version-remains, commit-count:1

@zhutmost

Copy link
Copy Markdown
Owner

I don't know why scala-lib 2.13.17+ will raise a reflect error. So keep it 2.13.16 first.

@scala-steward-zhutmost scala-steward-zhutmost Bot added the dependency Change package dependencies label Oct 6, 2026
@zhutmost zhutmost added dependencies Pull requests that update a dependency file and removed dependency Change package dependencies labels Oct 6, 2026
@zhutmost
zhutmost merged commit e0603f6 into main Oct 6, 2026
3 checks passed
@zhutmost
zhutmost deleted the update/chisel branch October 6, 2026 15:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants