4 Commits

Author	SHA1	Message	Date
Karl Tauber	d4827b6ddf	GitHub Actions: cache buildSrc/build to speed up Gradle builds by ~40 seconds	2025-11-01 11:15:46 +01:00
Karl Tauber	02f7cb8972	update to Gradle 9.2.0; always use Java 25 toolchain to generate javadoc ... Notes: - Gradle 9+ requires Java 17 to run - using Java 21 on GitHub Actions - not using Java 25 because Kotlin does not yet support it and output some warnings	2025-10-31 23:52:08 +01:00
Karl Tauber	df8212b49e	Gradle: ... - default is now Java 8 toolchain (to fix Eclipse project import) - `src/main/module-info` and `src/main/java9` are compiled with Java 11 toolchain (if global toolchain is Java 8) - `src/main/module-info` and `src/main/java9` are no longer imported into Eclipse projects - task `errorprone` now uses at least Java 11 toolchain	2025-10-30 18:59:21 +01:00
Karl Tauber	c583a21bf7	GitHub Actions: moved Error Prone checks to own workflow to reduce build time of CI workflow	2025-10-28 17:47:40 +01:00