11 Commits

Author	SHA1	Message	Date
eyedeekay	bee407c6a1	CI: Fix job names for maven build tests, Router: Refactor exploratory message filter, refactor tunnel tests	2024-03-26 09:48:25 -04:00
eyedeekay	9bf538ed64	Change format of filename for install .jar artifact	2024-03-25 15:50:09 -04:00
eyedeekay	1b58933777	CI: Do jdk7 maven builds on checkins	2024-03-25 15:46:58 -04:00
eyedeekay	ba18e3945d	CI: Put a dev build onto github site, it is unsigned and will require users to allow it manually	2024-03-18 11:37:31 -04:00
eyedeekay	b90d6fd34e	add write permission for pages to CI id-token	2024-02-19 14:50:40 -05:00
eyedeekay	2a4279f8fc	use setup pages action	2024-02-19 14:44:48 -05:00
eyedeekay	708bd1b9d5	deploy javadoc to github pages using github CI	2024-02-19 14:39:18 -05:00
eyedeekay	748ebb5742	build javadoc in CI, create a zip of it, and upload the zip to github.	2024-02-17 19:01:26 -05:00
Zlatin Balevsky	37002822b3	install.jar fix name	2022-02-11 19:50:40 +00:00
Zlatin Balevsky	50d56ccbe8	gettext	2022-02-11 19:46:27 +00:00
Zlatin Balevsky	48cb6f79ef	Use GitHub Actions to publish installer.jar on each push	2022-02-11 19:38:04 +00:00