Remove --no-install from tests in CI

Author: thomashoneyman

.github/workflows/ci.yml

@@ -30,4 +30,4 @@ jobs:
         run: spago build --no-install --purs-args '--censor-lib --strict'
 
       - name: Run tests
-        run: spago -x test/test.dhall test --no-install
+        run: spago -x test/test.dhall test