Commit 46be4181 authored by Sophie Herold's avatar Sophie Herold
Browse files

Revert "Fixes CI config" 

This reverts commit b4fe9d03.
parent b4fe9d03

.gitlab-ci.yml

+1 −0
Original line number Diff line number Diff line
@@ -3,6 +3,7 @@ build_job: 
        - cabal update

        - cabal sandbox init

        - cabal install --dependencies-only --enable-tests --disable-optimization

        - make pebble

        - cabal configure --enable-tests --enable-coverage --disable-optimization

        - cabal test

        - tail -n 2 dist/hpc/vanilla/html/crag-integration/hpc_index.html