Yann Hamdaoui
|
4807e1aca2
|
Improve contrast
|
2021-07-06 13:01:58 +02:00 |
|
Yann Hamdaoui
|
b4548f83ef
|
Remove 2-columns mode in landing page at lg
|
2021-07-06 11:45:17 +02:00 |
|
Yann Hamdaoui
|
4e349b76e7
|
Fix null terminalContainer error on playground resize
|
2021-07-05 15:52:23 +02:00 |
|
Yann Hamdaoui
|
8d29830b27
|
Small rewording in getting-started
|
2021-07-05 15:28:45 +02:00 |
|
Yann Hamdaoui
|
2316d66daf
|
Playground size: add padding, fix height mismatch editor/repl
|
2021-07-05 13:17:08 +02:00 |
|
Yann Hamdaoui
|
3ec348f892
|
Responsive: hide playground in landing page at md instead of lg
|
2021-07-05 11:58:34 +02:00 |
|
Yann Hamdaoui
|
360edbfc70
|
Responsive menu: break at md, fix toggle button
|
2021-07-05 11:57:54 +02:00 |
|
Yann Hamdaoui
|
268deb7da6
|
Make the 3 items of the landing page responsive
|
2021-07-05 11:34:33 +02:00 |
|
Yann Hamdaoui
|
9ca012e8d9
|
Add a scrolldown arrow on the landing page
|
2021-07-05 11:24:39 +02:00 |
|
Rok Garbas
|
9cc23adb74
|
trying to figure out how to return boolean from an github actions expression
|
2021-07-02 11:17:54 +02:00 |
|
Rok Garbas
|
12db92a05b
|
Use nwtgck/actions-netlify action to push to Netlify
|
2021-07-02 11:13:45 +02:00 |
|
Rok Garbas
|
6f977579d0
|
Revert "Install missing netlify commands"
This reverts commit 80159136bd .
|
2021-07-02 11:11:49 +02:00 |
|
Yann Hamdaoui
|
c3a9dc6941
|
Try to restore the original netlify deploy step
|
2021-07-02 10:46:44 +02:00 |
|
Yann Hamdaoui
|
80159136bd
|
Install missing netlify commands
|
2021-07-02 10:36:27 +02:00 |
|
Yann Hamdaoui
|
26c0dc1580
|
Try to show the error when deploying
|
2021-07-02 10:12:41 +02:00 |
|
Yann Hamdaoui
|
f5dfdfc558
|
Remove unused packages and dead code
|
2021-07-02 10:05:18 +02:00 |
|
Yann Hamdaoui
|
8dc4b71f1a
|
Make error red in landing-page + smallfixes
|
2021-07-01 17:13:23 +02:00 |
|
Yann Hamdaoui
|
bec53672f3
|
More informative instructions for playground's usage
|
2021-07-01 16:57:33 +02:00 |
|
Yann Hamdaoui
|
0fe3e5bd07
|
Disable playground on mobile devices
|
2021-07-01 15:29:27 +02:00 |
|
Yann Hamdaoui
|
acb03e39da
|
Fix toggle button being on a new line below lg devices
|
2021-07-01 11:47:24 +02:00 |
|
Yann Hamdaoui
|
2568b48bac
|
Line wrapping in playground
|
2021-07-01 10:50:41 +02:00 |
|
Yann Hamdaoui
|
7356d3ff37
|
Fix menu centering
|
2021-07-01 09:25:24 +02:00 |
|
Yann Hamdaoui
|
d1c4c80deb
|
Link to GitHub contributors in the copyright
|
2021-06-30 18:14:47 +02:00 |
|
Yann Hamdaoui
|
e07e736910
|
Logo spacing
|
2021-06-30 18:09:59 +02:00 |
|
Yann Hamdaoui
|
dc6a2ca6d7
|
Landing page text: clarify the negative connotation of hack
|
2021-06-30 17:57:27 +02:00 |
|
Yann Hamdaoui
|
4ee5b4fc46
|
Fix some esling warnings
|
2021-06-30 17:56:20 +02:00 |
|
Yann Hamdaoui
|
20d5d98356
|
Remove unnecessary null-loading for SSR (superseeded by loadable-componenents approach)
|
2021-06-30 17:50:02 +02:00 |
|
Yann Hamdaoui
|
5df59f7eaf
|
Fix runtime errors
|
2021-06-30 17:49:21 +02:00 |
|
Yann Hamdaoui
|
bfebed015e
|
Fix SSR build + comments and smallfixes
|
2021-06-30 17:36:29 +02:00 |
|
Yann Hamdaoui
|
dfa5cd0e17
|
Re-enable webassembly, disable compilation of modules using
|
2021-06-30 10:26:06 +02:00 |
|
Yann Hamdaoui
|
1556726f36
|
Fix webassembly error with webpack
|
2021-06-30 10:23:20 +02:00 |
|
Rok Garbas
|
357db2fc38
|
fixing some webpack errors
|
2021-06-29 14:57:24 +02:00 |
|
Yann Hamdaoui
|
5fb1ff4150
|
Add missing SASS package
|
2021-06-29 13:02:06 +02:00 |
|
Yann Hamdaoui
|
5c7febf1b8
|
Use popper.js instead of popperjs/core
|
2021-06-29 13:00:50 +02:00 |
|
Yann Hamdaoui
|
812d47c853
|
Tentative to fix missing popperjs error
|
2021-06-29 12:51:40 +02:00 |
|
Rok Garbas
|
5b674396bf
|
node version 14 is needed
|
2021-06-29 12:42:59 +02:00 |
|
Yann Hamdaoui
|
98c8e980fd
|
Vendor nickel-repl package
|
2021-06-29 12:38:21 +02:00 |
|
Rok Garbas
|
62611af913
|
set working-directory in website workflow
|
2021-06-29 12:33:58 +02:00 |
|
Rok Garbas
|
a72d785537
|
use nix-build instead of nix build
this will target more people
|
2021-06-29 12:05:03 +02:00 |
|
Rok Garbas
|
01aa256a0a
|
build website with github actions and push to netlify
|
2021-06-29 11:53:19 +02:00 |
|
Rok Garbas
|
9d4c4bbe56
|
Discussions now points to gihtub discussions
|
2021-06-29 11:36:25 +02:00 |
|
Rok Garbas
|
7179026096
|
add a website tag
|
2021-06-29 11:28:18 +02:00 |
|
Rok Garbas
|
a75ca912f6
|
initial website
|
2021-06-29 11:24:35 +02:00 |
|
Yann Hamdaoui
|
14bbb7e850
|
Merge pull request #349 from tweag/github-settings
Use GitHub settings to manage project configuration in-repo
|
2021-05-31 14:56:33 +02:00 |
|
Yann Hamdaoui
|
57ac0f1beb
|
Add category labels to github settings
|
2021-05-31 14:56:02 +02:00 |
|
Yann Hamdaoui
|
f4e3bde3ad
|
Merge pull request #352 from tweag/matthias/nickel
add Nix one-line installation to README
|
2021-05-31 14:36:17 +02:00 |
|
Yann Hamdaoui
|
1330482e9c
|
Fix typo in README
|
2021-05-31 14:34:40 +02:00 |
|
Matthias Meschede
|
d281d268d3
|
update README
|
2021-05-31 14:28:33 +02:00 |
|
Théophane Hufschmitt
|
48cd078628
|
Merge pull request #353 from tweag/fix/position-op-args
[Fix]Missing position on operator arguments
|
2021-05-26 14:13:21 +02:00 |
|
Yann Hamdaoui
|
bf7d0475d7
|
Merge pull request #354 from whentze/master
Fix broken links to examples in README.md
|
2021-05-17 21:07:59 +02:00 |
|