The GitHub Actions job "PR validation" on streampipes.git has failed. Run started by GitHub user bossenti (triggered by bossenti).
Head commit for run: a3e9208242b90e54156ebf93007c0c46516ec892 / bossenti <bosse...@posteo.de> extend user documentation Report URL: https://github.com/apache/streampipes/actions/runs/7178747661 With regards, GitHub Actions via GitBox
