Skip to content

Update nscplugin, sbt-scala-native, ... to 0.4.15 in series/3.x#3809

Merged
armanbilge merged 10 commits intoseries/3.xfrom
update/series/3.x/nscplugin-0.4.15
Sep 18, 2023
Merged

Update nscplugin, sbt-scala-native, ... to 0.4.15 in series/3.x#3809
armanbilge merged 10 commits intoseries/3.xfrom
update/series/3.x/nscplugin-0.4.15

Conversation

@typelevel-steward
Copy link
Contributor

About this PR

📦 Updates

from 0.4.14 to 0.4.15

📜 GitHub Release Notes - Version Diff

Usage

Please merge!

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

If you'd like to skip this version, you can just close this PR. 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!

⚙ Adjust future updates

Add this to your .scala-steward.conf file to ignore future updates of this dependency:

updates.ignore = [ { groupId = "org.scala-native" } ]

Or, add this to slow down future updates of this dependency:

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "org.scala-native" }
}]
labels: library-update, early-semver-minor, semver-spec-patch, commit-count:1

@mergify mergify bot added 🤖 dependencies Pull requests that update a dependency file labels Sep 5, 2023
private[effect] abstract class FiberMonitorPlatform {
def apply(compute: ExecutionContext): FiberMonitor = {
if (false) { // LinktimeInfo.debugMode && LinktimeInfo.isWeakReferenceSupported
if (LinktimeInfo.debugMode && LinktimeInfo.isWeakReferenceSupported) {
Copy link
Member

@armanbilge armanbilge Sep 5, 2023

Choose a reason for hiding this comment

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

Thanks to @mox692 for fixing weak references on Scala Native!!! 👏

@armanbilge armanbilge merged commit a6c5b15 into series/3.x Sep 18, 2023
@armanbilge armanbilge deleted the update/series/3.x/nscplugin-0.4.15 branch September 18, 2023 17:42
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.

1 participant