The GitHub Actions job "PR validation" on streampipes.git/3986-rename-data-explorer-services has succeeded. Run started by GitHub user tenthe (triggered by tenthe).
Head commit for run: 1f8c2b082047db729620c84418975e3055a3b829 / Philipp Zehnder <[email protected]> Merge branch 'dev' into 3986-rename-data-explorer-services Report URL: https://github.com/apache/streampipes/actions/runs/19761361268 With regards, GitHub Actions via GitBox
