use pulp to publish docs on success

blinky3713 · blinky3713 · commit 23fb1e6f221b · 2020-10-12T07:44:01.000-07:00
diff --git a/package.json b/package.json
@@ -8,6 +8,7 @@
     "secp256k1": "^3.0.1"
   },
   "devDependencies": {
+    "pulp": "^15.0.0",
     "purescript": "^0.13.0",
     "purescript-psa": "^0.7.3",
     "spago": "^0.16.0"
