commit | 119bc1f44a9de92254e7052ce309fd32388af2ec | [log] [tgz] |
---|---|---|
author | Oliver Smith <osmith@sysmocom.de> | Tue Oct 17 16:10:17 2023 +0200 |
committer | osmith <osmith@sysmocom.de> | Thu Oct 19 07:30:20 2023 +0000 |
tree | b775960596d4d2fda3a0b186a3bc7b3cf43fbf80 | |
parent | 7d90d5b17f424e9580fdd1a70bd2595bb8d16cfa [diff] |
ansible: jenkins: use default-jre-headless Use default-jre-headless instead of giving the openjdk version, so we don't need to adjust it to whatever the current version in debian is. The default-jre-headless package is at least available since debian 10: https://packages.debian.org/search?suite=buster&arch=any&searchon=names&keywords=default-jre-headless Related: OS#6186 Change-Id: I6c5c74ff3d75dca2f89765d95c4b4c6d67ace703