Commit Graph

10 Commits

Author SHA1 Message Date
Adriaan de Groot
39cae1f0fb CI: change notification usernames and messages a little 2021-02-03 11:57:24 +01:00
Adriaan de Groot
3d72fb1bbe CI: notify about issues consistently with CI-builds 2021-02-02 00:49:38 +01:00
Adriaan de Groot
f2bd956b89 CI: try a different form of if() 2021-02-01 16:28:20 +01:00
Adriaan de Groot
eee5674f6d CI: remove if-expression, it triggers a syntax error
- unclear why this wasn't evaluated in expression context before
2021-02-01 15:04:13 +01:00
Adriaan de Groot
1da84ca09b CI: restore full build, restrict to 'our' repo
- this should prevent forks from duplicate-reporting builds
2021-02-01 14:41:07 +01:00
Adriaan de Groot
9af44a3c8d CI: one more with shorter notifications 2021-02-01 14:25:02 +01:00
Adriaan de Groot
413614e14b CI: massage the issues-messages a little more, fix logic 2021-01-31 23:07:48 +01:00
Adriaan de Groot
a289518a8a CI: munge the issues-notifications 2021-01-31 22:01:41 +01:00
Adriaan de Groot
9b15df595e CI: update IRC notifications 2021-01-28 15:29:44 +01:00
Adriaan de Groot
721748bed3 CI: extend the jobs, also notify for issues 2021-01-28 15:00:45 +01:00