Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependencies #1508

Merged
merged 2 commits into from
Feb 3, 2023

Conversation

git-machete-bot
Copy link
Collaborator

No description provided.

@@ -11,7 +11,7 @@ apacheCommonsText = "org.apache.commons:commons-text:1.10.0"
archunit = "com.tngtech.archunit:archunit:1.0.1"
betterStrings = "com.antkorwin:better-strings:0.5"
checker = { module = "org.checkerframework:checker", version.ref = "checker" }
checker-qual = { module = "org.checkerframework:checker-qual", version.ref = "checker" }
checker-qual = "org.checkerframework:checker-qual:3.29.0"
Copy link
Collaborator

Choose a reason for hiding this comment

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

I guess that's not the way it should be updated 🤔

Copy link
Collaborator

Choose a reason for hiding this comment

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

Whoops no indeed hmmm

Copy link
Collaborator

Choose a reason for hiding this comment

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

Lemme post this as a bug to the relevant OSS

Copy link
Collaborator

Choose a reason for hiding this comment

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

Copy link
Collaborator

Choose a reason for hiding this comment

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

Maybe indeed checker was available in Maven Central while checker-qual was still missing... both have the date around 8:30pm UTC y'day, but there might've been some eventual consistency glitch. Lemme check what happens if I run ./gradlew versionCatalogUpdate locally now...

Copy link
Collaborator

Choose a reason for hiding this comment

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

Huh no, the same effect locally meh

Okay lemme just update it manually in the desired way

@PawelLipski PawelLipski enabled auto-merge (squash) February 3, 2023 12:29
@PawelLipski PawelLipski merged commit 4618195 into develop Feb 3, 2023
@PawelLipski PawelLipski deleted the update-deps/af68fe4d8a9c325ad12b67bce8d5212a branch February 3, 2023 12:52
@PawelLipski PawelLipski added this to the v3.5.1 milestone Feb 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants