diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 | ||||
| m--------- | nofib | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2321258808..8bfd24a418 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1179,7 +1179,7 @@ perf-nofib: popd rm -Rf tmp - export BOOT_HC=$GHC - - cabal update; cabal install -w "$BOOT_HC" --lib regex-compat + - cabal update; cabal install -w "$BOOT_HC" --lib parallel random stm regex-compat unboxed-ref - export PATH=$root/bin:$PATH - make -C nofib boot mode=fast -j$CPUS - "make -C nofib EXTRA_RUNTEST_OPTS='-cachegrind +RTS -V0 -RTS' NoFibRuns=1 mode=fast -j$CPUS 2>&1 | tee nofib.log" diff --git a/nofib b/nofib -Subproject cef118de79b16fc2dddc147393a46c20f126e4a +Subproject 69ff1b22ed16480facfb2525932d40a80673593 |