Tweak documentation #7668

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

Merged

smillst merged 5 commits into typetools:master from mernst:modifiability-pre

Apr 30, 2026

Merged

Tweak documentation #7668

Merge branch 'master' into modifiability-pre

CircleCI Checks / build succeeded Apr 30, 2026 in 1h 6m 5s

Workflow: build

View CircleCI Workflow

nonjunit_jdk25 - Success
misc_jdk26 - Success
inference_part1_jdk25 - Success
junit_part1_jdk25 - Success
typecheck_part1_jdk25 - Success
junit_part2_jdk25 - Success
typecheck_part2_jdk25 - Success
inference_part2_jdk25 - Success
misc_jdk25 - Success
canary_jobs - Success
junit_jdk17 - Success
junit_jdk26 - Success
junit_jdk21 - Success
guava_jdk25 - Success
plume_lib_jdk25 - Success
misc_jdk21 - Success
misc_jdk17 - Success

View more details on CircleCI Checks