The GitHub Actions job "PR validation" on streampipes.git/fix-jenkins-jdk-25 has succeeded. Run started by GitHub user tenthe (triggered by tenthe).
Head commit for run: 35ab2e578f7980a3a7a1351e5a4760c9335286cf / Philipp Zehnder <[email protected]> Merge branch 'dev' into fix-jenkins-jdk-25 Report URL: https://github.com/apache/streampipes/actions/runs/35571752214 With regards, GitHub Actions via GitBox
