Playground publish script.

.github/workflows/playground.yml

@@ -0,0 +1,26 @@
+name: Release
+on:
+    push:
+        branches:
+            - master
+jobs:
+    release:
+        name: Release
+        runs-on: ubuntu-18.04
+        steps:
+            - name: Checkout
+              uses: actions/checkout@v1
+            - name: Setup Node.js
+              uses: actions/setup-node@v1
+              with:
+                  node-version: 12
+            - name: Install dependencies
+              run: yarn install
+            - name: Build
+              run: yarn build
+            - name: Publish github pages
+              run: |
+                  git remote set-url origin https://git:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
+                  yarn workspace playground run pub
+              env:
+                  GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

playground/package.json

@@ -7,7 +7,7 @@
 		"build": "yarn build-webpack && yarn build-docs",
 		"build-webpack": "node --max_old_space_size=4096 ../node_modules/webpack/bin/webpack.js --mode production",
 		"build-docs": "ts-node ./scripts/build-docs",
-		"pub": "gh-pages -d dist"
+		"pub": "gh-pages -d dist -u 'github-actions-bot <support+actions@github.com>'"
 	},
 	"dependencies": {
 		"@blueprintjs/core": "^3.23.1",