@@ -41,8 +41,9 @@ script:
41- git config --global user.email "travis-ci@example.com"
41- git config --global user.email "travis-ci@example.com"
42- git config --global user.name "Travis-CI"
42- git config --global user.name "Travis-CI"
43- git submodule update --init --recursive
43- git submodule update --init --recursive
44−- deps/reflex-platform/work-on ghc ./. --command "cabal configure --enable-tests && cabal build"
44+- ./build.sh
46+- deps/reflex-platform/work-on ./overrides-ghc.nix ./. --command "cabal configure --enable-tests && cabal build"
46- bash ./deploy.sh
47- bash ./deploy.sh
47- ./init-sandbox.sh
48- ./init-sandbox.sh
48- cd testserver
49- cd testserver