From ca22061e72abfc0db65ad51b8dc1780c577c4a81 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Fri, 19 Feb 2021 17:46:30 +0100
Subject: [PATCH] chore(gitlab-ci): use npm ci and cache

---
 .gitlab-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index aec0fe441..0100fab5b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,6 +9,7 @@ default:
     name: fpco/stack-build:lts-16.31
   cache: &global_cache
     paths:
+      - .npm
       - node_modules
       - .stack
       - .stack-work
@@ -44,7 +45,7 @@ npm install:
   stage: setup
   script:
     - ./.npmrc.gup
-    - npm install
+    - npm ci --cache .npm --prefer-offline
   before_script: &npm
     - rm -rvf /etc/apt/sources.list /etc/apt/sources.list.d
     - install -v -T -m 0644 ${APT_SOURCES_LIST} /etc/apt/sources.list