Disable automatic snippet generation.

This commit is contained in:
David Himmelstrup 2020-09-02 19:42:52 +08:00
commit cb5529aff8

View file

@ -87,7 +87,8 @@ jobs:
stack build
cd playground
stack build
stack exec --cwd ../ playground snippets playground/snippets > viewer-elm/dist/snippets.js
# We need to install latex before we can generate the snippets.
# stack exec --cwd ../ playground snippets playground/snippets > viewer-elm/dist/snippets.js
cd viewer-elm
npm install
npm run build