ci: remove redundant ci_timings logic
This patch removes the redundant cat ci_timings after_script step in
the generated jobs, since ci.sh doesn't actually emit the ci_timings
file anyway.
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
This patch removes the redundant cat ci_timings after_script step in
the generated jobs, since ci.sh doesn't actually emit the ci_timings
file anyway.