Please sign in to comment.
Enforce JDK8 when running `publish-docs.sh` (#973)
Motivation: Different JDK versions produce different website style for javadoc. Modifications: - Make sure the current Java version is 1.8 before running `publish-docs.sh`; Result: Javadoc website always published with the consistent format and style.
- Loading branch information