currently we are using jdk 8 in CI it seems. This is starting to have issues:
Error: Exception in thread "sbt-bg-threads-1" java.lang.UnsupportedClassVersionError: mdoc/SbtMain has been compiled by a more recent version of the Java Runtime (class file version 55.0), this version of the Java Runtime only recognizes class file versions up to 52.0
currently we are using jdk 8 in CI it seems. This is starting to have issues:
e.g. https://github.com/typelevel/paiges/pull/599