Switch from node-sass to sass

node-sass is deprecated and this is the suggested replacement: facebook/create-react-app#10779
sosy-lab · Sep 27, 2021 · 1fb020d · 1fb020d
1 parent 3d83cc3
commit 1fb020d
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 627 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -130,7 +130,6 @@ javascript-build:
   before_script:
     - cd benchexec/tablegenerator/react-table
     - npm install
-    - npm rebuild node-sass
   script:
     - npm run build
     - git diff --stat --exit-code