Jenkins: Install Jenkins on Redhat 9 with OpenJDK 17: Difference between revisions