fix CI

Author: peterbecich

.github/workflows/check.yaml

@@ -34,7 +34,7 @@ jobs:
         run: spago install
 
       - name: Build source
-        run: spago build --no-install --purs-args '--censor-lib --strict'
+        run: spago build
 
       - name: Run tests
         run: spago -x test.dhall test