10 Commits (19874ebc3a7bac09a092e5ffabd9174aadcf7045)

Author	SHA1	Message	Date
Adriaan de Groot	39cae1f0fb	CI: change notification usernames and messages a little	4 years ago
Adriaan de Groot	3d72fb1bbe	CI: notify about issues consistently with CI-builds	4 years ago
Adriaan de Groot	f2bd956b89	CI: try a different form of if()	4 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	4 years ago
Adriaan de Groot	1da84ca09b	CI: restore full build, restrict to 'our' repo ... - this should prevent forks from duplicate-reporting builds	4 years ago
Adriaan de Groot	9af44a3c8d	CI: one more with shorter notifications	4 years ago
Adriaan de Groot	413614e14b	CI: massage the issues-messages a little more, fix logic	4 years ago
Adriaan de Groot	a289518a8a	CI: munge the issues-notifications	4 years ago
Adriaan de Groot	9b15df595e	CI: update IRC notifications	4 years ago
Adriaan de Groot	721748bed3	CI: extend the jobs, also notify for issues	4 years ago