Posted by gouessej on Jan 17, 2023; 8:43am
URL: https://forum.jogamp.org/CI-Build-Server-and-Nodes-for-all-via-jenkins-tp4042048p4042052.html

I like your very last suggestion, it's worth investigating.