GitHub user bossenti deleted a comment on the discussion: Migrate Jenkins to GitHub actions
see #843 GitHub link: https://github.com/apache/streampipes/discussions/842#discussioncomment-4306592 ---- This is an automatically sent email for [email protected]. To unsubscribe, please send an email to: [email protected]
