Skip to content

Terminal title is not reset after running the test suite

Summary

5cf8032e implemented updating the terminal title while running the tests. The problem is it doesn't reset the title, so after running the test suite once I see the last test run in the title forever.

Steps to reproduce

Just run any test and check the terminal title.

Expected behavior

Terminal title should be reset after the tests finish.

Environment

  • GHC version used: HEAD

Optional:

  • Operating System:
  • System Architecture:
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information