diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6b0550f..c990edb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -15,6 +15,8 @@ jobs: - name: Set up a PureScript toolchain uses: purescript-contrib/setup-purescript@main + with: + purescript: "0.14.0-rc3" - name: Cache PureScript dependencies uses: actions/cache@v2 @@ -28,7 +30,7 @@ jobs: run: spago install - name: Build source - run: spago build --no-install --purs-args '--censor-lib --strict' + run: spago build --no-install --purs-args '--censor-lib --strict --censor-codes='UserDefinedWarning'' - name: Run tests run: spago test --no-install diff --git a/packages.dhall b/packages.dhall index 80f5fe6..9c3ee6f 100644 --- a/packages.dhall +++ b/packages.dhall @@ -1,4 +1,4 @@ let upstream = - https://github.com/purescript/package-sets/releases/download/psc-0.13.8-20201007/packages.dhall sha256:35633f6f591b94d216392c9e0500207bb1fec42dd355f4fecdfd186956567b6b + https://raw.githubusercontent.com/purescript/package-sets/prepare-0.14/src/packages.dhall in upstream