10 Commits (7e8ef85dc9b4e8a8bd95f2bc631bb631e52727ce)

Author	SHA1	Message	Date
Adriaan de Groot	39cae1f0fb	CI: change notification usernames and messages a little	6 years ago
Adriaan de Groot	3d72fb1bbe	CI: notify about issues consistently with CI-builds	6 years ago
Adriaan de Groot	f2bd956b89	CI: try a different form of if()	6 years ago
Adriaan de Groot	eee5674f6d	CI: remove if-expression, it triggers a syntax error ... - unclear why this wasn't evaluated in expression context before	6 years ago
Adriaan de Groot	1da84ca09b	CI: restore full build, restrict to 'our' repo ... - this should prevent forks from duplicate-reporting builds	6 years ago
Adriaan de Groot	9af44a3c8d	CI: one more with shorter notifications	6 years ago
Adriaan de Groot	413614e14b	CI: massage the issues-messages a little more, fix logic	6 years ago
Adriaan de Groot	a289518a8a	CI: munge the issues-notifications	6 years ago
Adriaan de Groot	9b15df595e	CI: update IRC notifications	6 years ago
Adriaan de Groot	721748bed3	CI: extend the jobs, also notify for issues	6 years ago