Skip to content

Commit

Permalink
Bump org.checkerframework from 0.6.44 to 0.6.45 (#364)
Browse files Browse the repository at this point in the history
Bumps org.checkerframework from 0.6.44 to 0.6.45.


[![Dependabot compatibility
score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=org.checkerframework&package-manager=gradle&previous-version=0.6.44&new-version=0.6.45)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)

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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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 merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after
your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge
and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating
it. You can achieve the same result by closing it manually
- `@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)


</details>

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Martin Kellogg <martin.kellogg@njit.edu>
  • Loading branch information
dependabot[bot] and kelloggm authored Oct 7, 2024
1 parent 8593e9d commit 2259046
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion CI_Latest_run_percentage.txt
Original file line number Diff line number Diff line change
@@ -1 +1 @@
89.01
89.06
2 changes: 1 addition & 1 deletion build.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ plugins {
id 'maven-publish'
id 'signing'
id 'com.diffplug.spotless' version '6.25.0'
id 'org.checkerframework' version '0.6.44'
id 'org.checkerframework' version '0.6.45'
id("net.ltgt.errorprone") version "4.0.1"
id 'com.adarshr.test-logger' version '4.0.0'
}
Expand Down

0 comments on commit 2259046

Please sign in to comment.