This PR focuses on updating Java version specifications and related documentation in the project configuration files. It includes minor adjustments to timing in tests and updates to OpenJDK version information.
Detailed summary
Updated java-version from 21 to 21.0.5+11 in .github/workflows/ghc.yml.
Changed OpenJDK version details in site/docs/src/pipeline.md from 21.0.4 to 21.0.5 and updated build information.
Minor timing adjustment in site/docs/src/normalizer/test.md from 0.0062 seconds to 0.0061 seconds.
✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}
PR-Codex overview
This PR focuses on updating Java version specifications and related documentation in the project configuration files. It includes minor adjustments to timing in tests and updates to OpenJDK version information.
Detailed summary
java-version
from21
to21.0.5+11
in.github/workflows/ghc.yml
.site/docs/src/pipeline.md
from21.0.4
to21.0.5
and updated build information.site/docs/src/normalizer/test.md
from0.0062
seconds to0.0061
seconds.