From dd3083ffdaf8bc969713fecba034e15cce0d5936 Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Wed, 2 Dec 2020 20:39:47 -0800 Subject: [PATCH 1/3] Update packages.dhall to prepare-0.14 bootstrap --- packages.dhall | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages.dhall b/packages.dhall index b5baf39..0b48286 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-20200922/packages.dhall sha256:5edc9af74593eab8834d7e324e5868a3d258bbab75c5531d2eb770d4324a2900 + https://raw.githubusercontent.com/purescript/package-sets/prepare-0.14/src/packages.dhall sha256:f9b49a477fcd822a7119413b689123f8e1694b0008c156971f1931751079a56f in upstream From 4da7c8cb72f1b279981405b2fbfa6bb30f2b2c48 Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Wed, 2 Dec 2020 20:39:47 -0800 Subject: [PATCH 2/3] Update CI to use v0.14.0-rc3 PS release --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0b3ca67..c842755 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -15,6 +15,8 @@ jobs: - name: Set up PureScript toolchain uses: purescript-contrib/setup-purescript@main + with: + purescript: "0.14.0-rc3" - name: Cache PureScript dependencies uses: actions/cache@v2 From e1d8052fcd350e6950fcac947aaaec63f35cad2e Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Thu, 3 Dec 2020 20:09:53 -0800 Subject: [PATCH 3/3] Remove SHA hash from packages.dhall file --- packages.dhall | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages.dhall b/packages.dhall index 0b48286..9c3ee6f 100644 --- a/packages.dhall +++ b/packages.dhall @@ -1,4 +1,4 @@ let upstream = - https://raw.githubusercontent.com/purescript/package-sets/prepare-0.14/src/packages.dhall sha256:f9b49a477fcd822a7119413b689123f8e1694b0008c156971f1931751079a56f + https://raw.githubusercontent.com/purescript/package-sets/prepare-0.14/src/packages.dhall in upstream