Upgrade set to 0.14.2 (#955)
commit80d6e8daa7dd5bc9acfa34e36ecd47508b250d2a
authorFabrizio Ferrai <fabrizio.ferrai@gmail.com>
dateSun 13 Jun 2021, 21:08 (5 years ago)
parentabd2299
packages.json+1−1
@@ -2067,7 +2067,7 @@
20672067 "metadata": {
20682068 "dependencies": [],
20692069 "repo": "https://github.com/spacchetti/purescript-metadata.git",
2070− "version": "v0.14.0"
2070+ "version": "v0.14.2"
20712071 },
20722072 "midi": {
20732073 "dependencies": [
release.sh+1−1
@@ -8,7 +8,7 @@ set -euxo pipefail
88
99# TODO: fail if there's a tag with this same name, as sometimes we publish more than one per day
1010
11−LATEST_PURS="0.14.1"
11+LATEST_PURS="0.14.2"
1212NEW_TAG="psc-${LATEST_PURS}-`date +'%Y%m%d'`"
1313
1414./update-latest-compatible-sets.sh "${NEW_TAG}"
src/groups/spacchetti.dhall+1−1
@@ -1,6 +1,6 @@
11{ metadata =
22 { dependencies = [] : List Text
33 , repo = "https://github.com/spacchetti/purescript-metadata.git"
4− , version = "v0.14.0"
4+ , version = "v0.14.2"
55 }
66}