3 Commits

Author SHA1 Message Date
Dennis Guse 439671d0a4 Build scripts: add some error handling. 2026-01-18 15:49:41 +01:00
Dennis Guse 1c986e48f2 Reproducible builds: use OpenJDK-21 (build script only). 2025-08-28 21:55:10 +02:00
Dennis Guse fba09bcc3a Reproducible build: we also need a build script.
Part of #418.
2024-12-27 17:20:15 +01:00