2 Commits (93221da5ead59f7cda84a081e3c608e2b60546e3)

Author SHA1 Message Date
Adriaan de Groot e773fb65a8 CI: migrate push notification to helper script 4 years ago
Adriaan de Groot ded7991dd6 CI: different tactic for notifications 4 years ago