Yes, hi. nostr:npub1tcekjparmkju6k83r5tzmzjvjwy0nnajlrwyk35us9g7x7wx80ys9hjmky have you considered GitHub triggers with Jenkins? You could setup build jobs for exactly what you want, and they could be triggered by new commits or releases.

Reply to this note

Please Login to reply.

Discussion

Wait, that's a thing? :O

I knew of workflows in the .github/ directory - but I didn't know of triggers like that. Thank you for the pointer, I will look this up!

Good luck!

I was going to suggest that Jenkins can do polling. But agreed that a webhook is certainly more efficient. Either way, Jenkins is a nice, free option!

Precisely, we rely on it heavily at work.