[typetools/checker-framework] 453e1f: Improve HTML style

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 453e1fffb78461874bd21f79424ff43377547631
https://github.com/typetools/checker-framework/commit/453e1fffb78461874bd21f79424ff43377547631
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 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:
-----------
Improve HTML style



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

[Michael Ernst]

Branch: refs/heads/circleci-project-setup

Home: https://github.com/typetools/checker-framework
Commit: 453e1fffb78461874bd21f79424ff43377547631
https://github.com/typetools/checker-framework/commit/453e1fffb78461874bd21f79424ff43377547631
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 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:
-----------
Improve HTML style

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

Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)

Changed paths:

M .azure/azure-pipelines-daily.yml.m4
M .azure/azure-pipelines.yml.m4
M .azure/defs.m4
M .circleci/defs.m4

Log Message:
-----------
Improve Emacs `after-save-hook`


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

Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)

Changed paths:

M .azure/azure-pipelines.yml
M .azure/defs.m4
M .azure/jobs.m4
M .circleci/config.yml
M .circleci/config.yml.m4
M .circleci/defs.m4

Log Message:
-----------
Full clone for misc job under CircleCI


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

Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)

Changed paths:

M .azure/Makefile
M .circleci/Makefile
M checker/bin-devel/Makefile

Log Message:
-----------
Make generated files unwritable


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

Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-13 (Mon, 13 Oct 2025)

Changed paths:

M .azure/Makefile
M .azure/azure-pipelines.yml
M .azure/defs.m4
M .azure/jobs.m4
M .circleci/Makefile
M .circleci/config.yml
M .circleci/config.yml.m4
M .circleci/defs.m4
M checker/bin-devel/Makefile

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:
-----------

Merge ../checker-framework-branch-master into circleci-project-setup


Compare: https://github.com/typetools/checker-framework/compare/c482a105a53d...ff1f31ad8604