Skip to content
Snippets Groups Projects

ghc_timings.py: Include Renamer/typechecker phase

Merged ghc_timings.py: Include Renamer/typechecker phase
sjakobi/ghc-utils:renamer-tc-timings into master
Merged Simon Jakobi requested to merge sjakobi/ghc-utils:renamer-tc-timings into master

There are currently no pipelines.

To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.