Commit graph reanimate/.github/workflows
Author SHA1 Message Date
David Himmelstrup
8aa156796a Improve caching for Github Pages. 2020-08-22 12:44:07 +08:00
David Himmelstrup
c5497b8c56 Clean up playground code. 2020-08-22 12:18:14 +08:00
David Himmelstrup
f1d945babb Add missing snippet files. 2020-08-22 11:26:59 +08:00
David Himmelstrup
c1c4996e63
Simplify playground code and add snippets. (#136)
* Add instructions for how to run the playground locally.
* Make it easier to select backend in the elm code.
* Use scrolling for long scripts.
* Fix bug, send code to backend on connect, don't auto play on code changes.
* Compile and cache snippets.
2020-08-22 10:35:25 +08:00
David Himmelstrup
ce6ea17c57 Try fixing paths again. 2020-08-21 09:45:06 +08:00
David Himmelstrup
fb176ead12 Fix gh-page paths. 2020-08-21 09:35:45 +08:00
David Himmelstrup
12025f2a2e Don't minify playground. 2020-08-21 09:18:31 +08:00
David Himmelstrup
8c3e8acd3a
Playground (#134) 2020-08-21 08:52:19 +08:00
David Himmelstrup
b6975d705d Don't build gh-pages for PRs. 2020-08-07 09:15:50 +08:00
David Himmelstrup
5e7efdb608
Maintain a github-page with HPC results and haddock coverage data. (#129) 2020-08-06 18:44:06 +08:00
David Himmelstrup
a120456811
Update haskell.yml 2020-08-05 11:48:32 +08:00
David Himmelstrup
af5b496a79
Don't run test-suite with cabal. 2020-08-04 20:06:25 +08:00
David Himmelstrup
835c13892d
Cabal-based build action 2020-08-04 19:43:08 +08:00