wouldn't it make sense to assume no-progress by default on ci builds?

e.g. we could detect travis and github using
getenv('TRAVIS') !== false || getenv("GITHUB_ACTION") !== false

the progress bar on ci builds makes it hard to find the actual usefull phpstan messages, see e.g.

we get a huge wall of 'progress bar text' which is just noise