diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b10c5170dd..55983437bc 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -700,6 +700,8 @@ nightly-hackage-perf: variables: # Generate logs for nightly builds which include timing information. EXTRA_HC_OPTS: "-ddump-timings" + # Ask head.hackage to generate eventlogs + EVENTLOGGING: 1 ############################################################ # Nofib testing |