bot not running CI

Stream: nightly-testing

[Joachim Breitner]

I noticed you have a nice bot that auto-merges adaption PRs now, but it seems it's commits don’t get run by CI:
foo.png
(Likely because you are using the default auth token of github actions, which annoyingly means that it won’t trigger more actions.)

[Sebastian Ullrich]

This could be solved by integrating the action with the one bumping the toolchain in the first place, which would avoid pushing known-broken intermediate states

[Joachim Breitner]

But still push as separate commits? It’s actually quite useful to see what’s happend, and that branch is anyways broken half the time… ;-)

[Sebastian Ullrich]

Joachim Breitner said:

But still push as separate commits

Sure, just at once