show cursor much more often during progress bar printing to ensure it is not lost every time a process is killed · usethesource/rascal@f656c0a · GitHub

GitHub Actions / Test Report - Linux succeeded Jun 20, 2024 in 0s

5978 tests run, 215 skipped, 0 failed.

View more details on GitHub Actions