Commit Graph

2 Commits

Author SHA1 Message Date
Adriaan de Groot
e773fb65a8 CI: migrate push notification to helper script 2021-05-25 11:21:41 +02:00
Adriaan de Groot
ded7991dd6 CI: different tactic for notifications 2021-05-25 09:55:45 +02:00