tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-10-06 08:07:37 +03:00
Code Issues Projects Releases Wiki Activity
1,066 Commits 115 Branches 18 Tags 52 MiB
17f834695c
Commit Graph

1066 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Julien Debon
17f834695c
Minor improvements to the README 
* Fix typos
* Fix 4th element list display
* Add the shell hint on code blocks
 2021-08-10 10:34:49 +02:00
Yann Hamdaoui
952d9cfd0f
Merge pull request #371 from tweag/fix/experimental-jobs 
[CI]Do not fail the workflow because of nightly
 2021-08-06 12:54:14 +02:00
Yann Hamdaoui
c700580c73 CI: do not fail the whole matrix on an experimental job 2021-08-02 18:56:32 +02:00
Yann Hamdaoui
5b6ea4128e
Merge pull request #364 from tweag/task/disable-netlify-bot-comments 
[CI]Disable the netlify bot comments to reduce spam
 2021-08-02 18:51:57 +02:00
Eelco Dolstra
01d35cbb40
Merge pull request #363 from tweag/fix/interpolation-multiline-strings 
Fix interpolation in multiline strings
 2021-07-13 14:29:27 +02:00
Eelco Dolstra
0010549bf9
Merge pull request #366 from tweag/task/update-wasm-repl 
Upgrade the WASM REPL
 2021-07-13 14:27:35 +02:00
Yann Hamdaoui
70f001e9f3 Upgrade the WASM repl 2021-07-13 10:40:47 +02:00
Yann Hamdaoui
eefd30b832 Netlify action: restore status, disable comment on pull request 2021-07-08 17:54:12 +02:00
Yann Hamdaoui
cec6b59e48 Disable netlify bot comments 2021-07-07 18:05:00 +02:00
Yann Hamdaoui
735c6b9ce5
Merge pull request #358 from tweag/add-website 
initial website
 2021-07-07 17:25:01 +02:00
Yann Hamdaoui
555388a53d Use nickel-repl with serialization fixed 2021-07-07 17:06:35 +02:00
Yann Hamdaoui
ca2a510b53 [WIP] Use repl_serialize directly 2021-07-07 16:45:58 +02:00
Yann Hamdaoui
b42a162be2 Use the nickel-repl that correctly export repl_serialize 2021-07-07 16:41:02 +02:00
Yann Hamdaoui
ea55869bab Upgrade the vendored WASM repl: now has serialize() entry point 2021-07-07 16:34:51 +02:00
Yann Hamdaoui
185c8ec722 Include fix of #361 (string interpolation) in the wasm repl 2021-07-07 13:26:26 +02:00
Yann Hamdaoui
bec3497a00 Remove white border around icons in footer 2021-07-06 13:26:21 +02:00
Yann Hamdaoui
9dc1454e55 Improve contrast of red 2021-07-06 13:10:58 +02:00
Yann Hamdaoui
6fcfb642e8 Improve contrast for links 2021-07-06 13:06:22 +02:00
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
020417b351 Formatting and style + remove debug println 2021-07-05 18:55:01 +02:00
Yann Hamdaoui
cb306921f9 Fix parsing of quote then interpolation in multiline strings 2021-07-05 18:37:46 +02:00
Yann Hamdaoui
c0ba2e5543
Merge pull request #362 from tweag/unknown 
unkown -> unknown
 2021-07-05 17:45:59 +02:00
curiousleo
51226f3e19 unkown -> unknown 2021-07-05 17:27:54 +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
Yann Hamdaoui
6fbef1f197 Simplify lexing: remove superfluous tokens 2021-07-02 13:28: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
f958d6391c
Merge pull request #356 from tweag/task/ci-make-nightly-experimental 
[CI]Avoid nightly build to fail the whole workflow
 2021-07-01 17:56:57 +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