[typetools/checker-framework] f17fd4: new release 3.51.1

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: f17fd42829cc58666c9c0a1aee44f04dda88a9a0
https://github.com/typetools/checker-framework/commit/f17fd42829cc58666c9c0a1aee44f04dda88a9a0
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/examples/MavenExample/pom.xml
M docs/manual/external-tools.tex
M docs/manual/introduction.tex
M docs/manual/manual.tex

Log Message:
-----------
new release 3.51.1



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications

[Michael Ernst]

Branch: refs/heads/html-meta-trailing-slash

Home: https://github.com/typetools/checker-framework
Commit: f17fd42829cc58666c9c0a1aee44f04dda88a9a0
https://github.com/typetools/checker-framework/commit/f17fd42829cc58666c9c0a1aee44f04dda88a9a0
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/examples/MavenExample/pom.xml
M docs/manual/external-tools.tex
M docs/manual/introduction.tex
M docs/manual/manual.tex

Log Message:
-----------
new release 3.51.1

Commit: 4f8a68a1458ce7c16eb303832ad20a8e3d165131
https://github.com/typetools/checker-framework/commit/4f8a68a1458ce7c16eb303832ad20a8e3d165131

Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:

M docs/developer/release/release_push.py

Log Message:
-----------
Tweaks to release_push.py.


Commit: f93c756de5b3e2ecf440250723b35cf86e2d4808
https://github.com/typetools/checker-framework/commit/f93c756de5b3e2ecf440250723b35cf86e2d4808

Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:

M docs/CHANGELOG.md
M release.gradle

Log Message:
-----------
Prep for next release.


Commit: e7771b50acbb618b5eab15d817aa76fea49c5856
https://github.com/typetools/checker-framework/commit/e7771b50acbb618b5eab15d817aa76fea49c5856
Author: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Date: 2025-10-02 (Thu, 02 Oct 2025)

Changed paths:
M .circleci/config.yml

Log Message:
-----------
Update cimg/base Docker tag to v2025.10 (#7314)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>


Commit: 350b2341b46ca345aa5e1e8b55b783ec0e4b0018
https://github.com/typetools/checker-framework/commit/350b2341b46ca345aa5e1e8b55b783ec0e4b0018
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-08 (Wed, 08 Oct 2025)

Changed paths:
M .circleci/config.yml
M docs/CHANGELOG.md

M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html

M docs/developer/release/release_push.py

M docs/examples/MavenExample/pom.xml
M docs/manual/external-tools.tex
M docs/manual/introduction.tex
M docs/manual/manual.tex

M release.gradle

Log Message:
-----------
Merge ../checker-framework-branch-master into html-meta-trailing-slash


Commit: 521fa2d47222f00ff0a30e466f35a4ee054930f8
https://github.com/typetools/checker-framework/commit/521fa2d47222f00ff0a30e466f35a4ee054930f8
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-08 (Wed, 08 Oct 2025)

Changed paths:
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/developer/developer-manual.html
M docs/developer/gsoc-ideas.html
M docs/developer/new-contributor-projects.html
M docs/developer/release/README-release-process.html

Log Message:
-----------
More HTML fixups


Compare: https://github.com/typetools/checker-framework/compare/614426471699...521fa2d47222