Too many separate workflows flood notification of contributors about github-workflows-kt

[Vampire]

Probably this configuration option:

[krzema12]

Yeah, I have the above configuration. Still I'll consolidate all integration tests into a single workflow (in fact a single job), it will make it easier to read the status in the PRs, too.

[krzema12]

Ok, some changes that should improve it have landed. Resolving - let's revisit if it's still painful.

[krzema12]

Wow, I don't get these! Especially the success notifications surprise me. Do you have some verbose mode turned on? Or maybe I have certain types of notifications turned off.
@Vampire do you also get these?

[LouisCAD]

It's just the default for my fork. GitHub should probably group/conflate those too, but in the meantime, you know why this project even exists, right… so maybe rolling our own solution, if it affects other contributors too (which I believe is the case, TBD), is our shortest path.

[krzema12]

Ok, for sure we could put all integration tests in a single workflow, it should make things less noisy. It will be a bit challenging on the implementation side, but doable. After that, let's see!

[Vampire]

I don't remember having them.
But I also don't look at GitHub notifications too often, but mainly just look for the E-Mails GitHub is sending.
Currently I only can filter for these, but this does not include any PR by me:

[Vampire]

But I also only have this for setup-wsl and there jobs are running at least daily and I'm pretty sure I did not change settings for that: