We don't test Java 1.8 yet in our CI, see https://github.com/tlaplus/CommunityModules/pull/30#pullrequestreview-563241024 for context. This should be done after https://github.com/tlaplus/CommunityModules/issues/31 and https://github.com/tlaplus/CommunityModules/issues/34 are resolved.
We don't test Java 1.8 yet in our CI, see #30 (review) for context.
This should be done after #31 and #34 are resolved.