Skip to content

build(deps): bump org.jetbrains.grammarkit from 2023.3.0.3 to 2023.3.0.4 - #126

Merged
gaborbernat merged 1 commit into
mainfrom
dependabot/gradle/main/org.jetbrains.grammarkit-2023.3.0.4
Aug 18, 2026
Merged

build(deps): bump org.jetbrains.grammarkit from 2023.3.0.3 to 2023.3.0.4#126
gaborbernat merged 1 commit into
mainfrom
dependabot/gradle/main/org.jetbrains.grammarkit-2023.3.0.4

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Aug 18, 2026

Copy link
Copy Markdown
Contributor

Bumps org.jetbrains.grammarkit from 2023.3.0.3 to 2023.3.0.4.

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps org.jetbrains.grammarkit from 2023.3.0.3 to 2023.3.0.4.

---
updated-dependencies:
- dependency-name: org.jetbrains.grammarkit
  dependency-version: 2023.3.0.4
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file java Pull requests that update java code labels Aug 18, 2026

@gaborbernat gaborbernat left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM

@gaborbernat
gaborbernat merged commit dee8471 into main Aug 18, 2026
8 checks passed
@gaborbernat
gaborbernat deleted the dependabot/gradle/main/org.jetbrains.grammarkit-2023.3.0.4 branch August 18, 2026 14:06
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 java Pull requests that update java code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant