Adriaan de Groot
|
e773fb65a8
|
CI: migrate push notification to helper script
|
2021-05-25 11:21:41 +02:00 |
|
Adriaan de Groot
|
a73ad23b9f
|
CI: need jq for JSON-formatting of matrix message data
|
2021-05-25 10:40:20 +02:00 |
|
Adriaan de Groot
|
ded7991dd6
|
CI: different tactic for notifications
|
2021-05-25 09:55:45 +02:00 |
|
Adriaan de Groot
|
98ebb6f8d1
|
CI: send push-related CI notifications to Matrix
|
2021-05-21 16:24:56 +02:00 |
|
Adriaan de Groot
|
ce6fae900f
|
CI: massage message a bit and adjust naming scheme
|
2021-02-17 10:41:55 +01:00 |
|