[sr-dev] git:master:4564ba26: github: increase operations-per-run [skip ci]