Empty entries printed in the kaas remote compute job

[yiyi-wang-rv]

https://github.com/runtimeverification/kaas-compute-template/actions/runs/14593448305/job/40934238686

In this job above, I notied that the kontrol prove output contains many timestamp entries with empty content, like:

2025-04-22T13:19:33.2889089Z 
2025-04-22T13:19:33.3893567Z 
2025-04-22T13:19:33.4897678Z 
2025-04-22T13:19:33.5901822Z 
2025-04-22T13:19:33.6905786Z 

Now we always run kontrol prove with the --verbose flag. I am wondering if we could silence such empty entries. Should we do it from the kontrol side or the kaas side?

Thank you

[anvacaru]

Those empty timestamp outputs are coming from the Rich progress bar system in Kontrol. They might be generated by the Progress context manager in _run_cfg_group(). Can you try adding the --hide-status-bar flag?