diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 51ab17c61ee5dd2414f2bf58f2873ba3cba816bb..e26d64815046115a06e7569300536bd7ace3dc95 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -107,7 +107,9 @@ database: #extends: .only-main-mr needs: ['benchmark'] script: - - ./scripts/database.sh + - guix time-machine -C .guix/scalfmm-channels.scm -- shell --pure --preserve="^CI|proxy$" + -m .guix/scalfmm-manifest-gcc-mkl-bench.scm + -- /bin/bash --norc ./scripts/database.sh artifacts: when: always paths: