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.

Sign up for GitHub

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

Jump to bottom

Update for typetools/checker-framework 3.35.0 release #1

Merged
merged 51 commits into from
Oct 6, 2023
Merged

Update for typetools/checker-framework 3.35.0 release #1

merged 51 commits into from
Oct 6, 2023

Conversation

wmdietl
Copy link

@wmdietl wmdietl commented Oct 6, 2023

No description provided.

mernst and others added 30 commits December 8, 2022 17:45
@mernst
Buildfile tweaks
fd073db
@mernst
Run more pluggable type-checkers
be33eed
@mernst
Use camelCase instead of snake_case in variable names
ec53398
@mernst
Improvements suggested by the checkstyle tool
e6f3fa1
@mernst
Use shorthand notation for dependencies
2714178
@mernst
Add installation instructions
59b575f
@mernst
Don't use <tt>
d441778
@mernst
Prefer '' to "" in Gradle files
4bedca2
@mernst
Always remove reference to non-existent file dejavu.css
22239a0
@mernst
Fix build.gradle error
1925786
@dependabot
Bump error_prone_core from 2.16 to 2.17.0
578fcf6
@dependabot
Bump com.diffplug.spotless from 6.12.0 to 6.12.1
259c02f
@mernst
Use Checker Framework 3.29.0
fec0af4
@dependabot
Bump plume-util from 1.6.0 to 1.6.5
ade455a
@dependabot
Bump error_prone_core from 2.17.0 to 2.18.0
dd7a936
@dependabot
Bump com.diffplug.spotless from 6.12.1 to 6.13.0
bb5219c
@dependabot
Bump org.checkerframework from 0.6.21 to 0.6.21.1
6e6d94d
@dependabot
Bump org.checkerframework from 0.6.21.1 to 0.6.22
30ae1f2
@mernst
Use Spotless plugin 6.14.0
2ea41d9
@mernst
Check formatting
ff1a5aa
@dependabot
Bump org.checkerframework from 0.6.22 to 0.6.23
92fb716
@mernst
Fix typo
9002723
@dependabot
Bump org.checkerframework from 0.6.23 to 0.6.24
4c26743
@dependabot
Bump org.tmatesoft.svnkit:svnkit from 1.10.9 to 1.10.10
d31e5f3
@mernst
Use Gradle 8
991cda1
@dependabot
Bump com.github.johnrengelman.shadow from 7.1.2 to 8.1.0
d5c60f9
@mernst
Use newer GitHub actions
2cad475
@mernst
Don't build under JDK 8
991c2af
@dependabot
Bump org.checkerframework from 0.6.24 to 0.6.25
a749311
@dependabot
Bump org.tmatesoft.svnkit:svnkit from 1.10.10 to 1.10.11
10b1975
dependabot bot and others added 19 commits March 14, 2023 08:55
@dependabot
Bump com.diffplug.spotless from 6.16.0 to 6.17.0
1be36ad
@dependabot
Bump com.github.johnrengelman.shadow from 8.1.0 to 8.1.1
85b0a12
@dependabot
Bump org.checkerframework from 0.6.25 to 0.6.26
0cb60c6
@dependabot
Bump com.diffplug.spotless from 6.17.0 to 6.18.0
1465cb0
@mernst
Warn about redundant annotations
88d7f13
@renovate
Configure Renovate
39e7101
@renovate
Update dependency gradle to v8.1 (plume-lib#215)
e59f9e4 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate
Update dependency org.plumelib:options to v2 (plume-lib#216)
de759b8 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@mernst
Java 11 is required
d81a603
@mernst
Disable dependency dashboard
aa76308
@mernst
sourceCompatibility for Java 20
1c8c41e
@renovate
Update dependency gradle to v8.1.1 (plume-lib#217)
0ab9e77 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate
Update plugin net.ltgt.errorprone to v3.1.0 (plume-lib#218)
c6087b2 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate
Update plugin org.checkerframework to v0.6.27 (plume-lib#219)
e75c9e0 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate
Update dependency com.google.errorprone:error_prone_core to v2.19.1 (p…
ae0c7ed 
…lume-lib#222)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate
Update dependency org.plumelib:plume-util to v1.7.0 (plume-lib#223)
0ca99fe 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@mernst
Adapt to signedness of hashCode()
dd2d8ab
@mernst
Use Spotless version 6.19.0
62a9414
@wmdietl
Merge commit '62a94149752f6bdaf935f42208ebeac26edaef34' of https://gi…
26584d7 
…thub.com/plume-lib/multi-version-control into typetools-3.35.0-fixes
@wmdietl wmdietl mentioned this pull request Oct 6, 2023
Merged
@wmdietl wmdietl changed the title typetools/checker-framework 3.35.0 release Update for typetools/checker-framework 3.35.0 release Oct 6, 2023
@wmdietl wmdietl merged commit 1332f2c into master Oct 6, 2023
6 checks passed
@wmdietl wmdietl deleted the typetools-3.35.0-fixes branch October 6, 2023 21:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@wmdietl @mernst