7 Commits

Author	SHA1	Message	Date
Rick Ossendrijver	fb6fe5a96e	Introduce GitHub issue template for feature requests (#244)	2022-09-27 14:53:33 +02:00
Picnic-Bot	7bef1c8e67	Upgrade actions/setup-java v3.4.1 -> v3.5.1 (#262) ... See: - https://github.com/actions/setup-java/releases/tag/v3.5.0 - https://github.com/actions/setup-java/releases/tag/v3.5.1 - https://github.com/actions/setup-java/compare/v3.4.1...v3.5.1	2022-09-27 07:57:25 +02:00
Jelmer Borst	7f18bd9030	Introduce GitHub issue template for reporting a bug (#223)	2022-09-25 11:26:12 +02:00
Stephan Schroevers	ae7068f464	Fix Javadoc JAR generation (#246) ... For performance reasons, the Javadoc JARs are not generated when executing `mvn install`. They are generally only compiled when running `mvn release:perform`, as part of the `release` Maven profile. The downside of this setup is that Javadoc generation issues may not be caught until release time. This change resolves such an issue. To prevent future regressions, Javadoc generation is now also performed by the GitHub Actions build workflow. While there, drop the deprecated `useReleaseProfile` configuration setting of the javadoc-maven-plugin, as its value matches the default.	2022-09-20 13:42:52 +02:00
Stephan Schroevers	b88a668819	Reduce GitHub Actions build workflow permissions (#221)	2022-09-08 08:54:43 +02:00
Rick Ossendrijver	a1f2418805	Introduce release.yml to improve GitHub release notes generation (#213)	2022-08-24 16:31:15 +02:00
Rick Ossendrijver	4f5ea8beac	Migrate from Travis CI to GitHub Actions (#158) ... While there, drop the now-obsolete Takari Maven plugin.	2022-08-07 18:33:25 +02:00