skipped triggering the CI after a push
In my case what I did was: pruned (with --pair) the current topic series with new successors series and after I did hg push
it didn't trigger the CI and I had to trigger it manually.
In my case what I did was: pruned (with --pair) the current topic series with new successors series and after I did hg push
it didn't trigger the CI and I had to trigger it manually.