From c5497b8c560d6c8a28cfbffd4fff15fa952d89c6 Mon Sep 17 00:00:00 2001 From: David Himmelstrup Date: Sat, 22 Aug 2020 12:18:14 +0800 Subject: [PATCH] Clean up playground code. --- .github/workflows/gh-pages.yml | 2 +- .../viewer-elm/dist/index.html | 68 +++++-------------- .../viewer-elm/dist/playground.js | 23 ++++++- .../viewer-elm/dist/style.css | 3 + 4 files changed, 44 insertions(+), 52 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 5655fe2..ed11928 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -12,7 +12,7 @@ jobs: - uses: actions/checkout@v2 - uses: actions/setup-haskell@v1 with: - ghc-version: '8.8.2' + ghc-version: '8.8' cabal-version: '3.0' - uses: jorelali/setup-elm@v2 with: diff --git a/reanimate-playground/viewer-elm/dist/index.html b/reanimate-playground/viewer-elm/dist/index.html index 8df8341..488622b 100644 --- a/reanimate-playground/viewer-elm/dist/index.html +++ b/reanimate-playground/viewer-elm/dist/index.html @@ -93,29 +93,7 @@