Commit graph reanimate/.github
Author SHA1 Message Date
David Himmelstrup
7d16bc79b0 Rename gh-pages dist folder. 2020-10-09 19:01:44 +08:00
David Himmelstrup
b1cc939dfa Disable HPC badge generation. 2020-10-09 17:26:10 +08:00
David Himmelstrup
1fa503721c Fix path to golden files. 2020-10-09 17:24:56 +08:00
David Himmelstrup
5c8cf840a1 CI: Use websocat to check websocket connection every hour. 2020-09-24 11:42:07 +08:00
David Himmelstrup
fb6d81ad31 Haddock always generates 404 links. Sigh. Disable 404 checking for api docs. 2020-09-23 12:53:33 +08:00
David Himmelstrup
0ea03ecb23
CI: Check for 404s (#170) 2020-09-23 12:40:39 +08:00
David Himmelstrup
dc6b4fcf09 CI: wscat is already available? 2020-09-22 13:55:37 +08:00
David Himmelstrup
76c7a99edd CI: Missing sudo. 2020-09-22 13:53:01 +08:00
David Himmelstrup
e5be814929 CI: Fix 404 checking. 2020-09-22 13:50:56 +08:00
David Himmelstrup
84f3044c62 CI: Query wscat version. 2020-09-22 13:42:21 +08:00
David Himmelstrup
2b5d3eb4fe Update because of missing libssl library. 2020-09-22 13:39:19 +08:00
David Himmelstrup
f64618143c CI: Don't use 'apt. 2020-09-22 13:38:19 +08:00
David Himmelstrup
986b67c7cb CI wibble. 2020-09-22 13:29:36 +08:00
David Himmelstrup
d40aed29f6 CI checks for 404 and websocket availability. 2020-09-22 13:28:35 +08:00
David Himmelstrup
42cba1ccc5 CI: Playground checks are only necessary for PRs. 2020-09-21 11:31:17 +08:00
David Himmelstrup
37aa90378e Make playground CI checks more robust. 2020-09-20 13:13:16 +08:00
David Himmelstrup
7c879e8cda Fix run script. 2020-09-20 11:11:18 +08:00
David Himmelstrup
45e440ea53 Fix typo. 2020-09-20 11:04:31 +08:00
David Himmelstrup
b641b9257f Run stackage nightly twice. 2020-09-20 11:01:26 +08:00
David Himmelstrup
9d2390911f Delete dist-newstyle if it was restored from cache. 2020-09-09 13:30:30 +08:00
David Himmelstrup
45c6d5f415 Discord-bot and playground aren't included in stackage. 2020-09-09 12:59:14 +08:00
David Himmelstrup
4260dc85a1 Add workflow with the same build commands as stackage nightly. 2020-09-09 12:56:14 +08:00
David Himmelstrup
f207019713
Use reanimate-svg-0.11.0.0 (#161)
* Use new reanimate-svg.
* Disable nix workflow.
2020-09-08 14:01:18 +08:00
David Himmelstrup
06bb9c6828 Limit the trigger for nix CI. 2020-09-04 21:07:21 +08:00
David Himmelstrup
fb868cab9b
Run playground tests on PRs without deploying to GitHub Pages. (#148) 2020-09-03 15:32:41 +08:00
David Himmelstrup
cb5529aff8 Disable automatic snippet generation. 2020-09-02 19:42:52 +08:00
Ben Ford
f6f388c8da
Adding haskell.nix based default and shell.nix (#141)
Co-authored-by: Ben Ford <ben@perurbis.com>
2020-09-02 09:47:04 +08:00
David Himmelstrup
917dc3693d
Improve the safety of the playground and limit the resources it may use. (#144)
* Improve the safety of the playground and limit the resources it may use.

* Don't send new code to server until 0.5s after the last keypress.
2020-08-28 14:49:55 +08:00
David Himmelstrup
b9d3966366 Fix coverage calculation. 2020-08-27 18:36:59 +08:00
David Himmelstrup
938b933b57 Compute doc coverage with stack rather than cabal. 2020-08-27 17:53:00 +08:00
David Himmelstrup
61fd6bc743
Support both cabal and stack in the test-suite. (#139) 2020-08-25 09:57:39 +08:00
David Himmelstrup
3956c046c3 CI: Change cache directories. 2020-08-22 13:00:25 +08:00
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
David Himmelstrup
9a8fb190fb Fix filename.
Former-commit-id: d94fd6f64622ed9ee15a423db425aff506d42878
2020-03-24 21:34:43 +08:00
David Himmelstrup
3ad7bcde05 Add sponsor button.
Former-commit-id: 5c624c28acf4100b7911d65176f75dcca09c7f41
2020-03-24 21:33:38 +08:00