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 |
|