update lua/xeus-lua snippets (#85)

* lua code updates

* lua code updates

* update

* trigger ci

* trigger ci

* trigger ci

* trigger ci

* trigger ci

Author: DerThorsten

.github/workflows/conformance.yml

@@ -93,7 +93,7 @@ jobs:
             install: micromamba install -y xeus-r -c conda-forge
             kernel-name: xr
           - name: xeus-lua
-            install: micromamba install -y xeus-lua -c conda-forge
+            install: micromamba install -y "xeus-lua>=0.10.1" -c conda-forge
             kernel-name: xlua
           - name: xeus-haskell
             install: |
@@ -166,6 +166,8 @@ jobs:
           micromamba-version: 'latest'
           environment-name: kernel
           init-shell: bash
+          cache-environment: false
+          cache-downloads: false
           create-args: >-
             python=3.12
             jupyter_client

snippets/snippets.json

@@ -163,13 +163,13 @@
       "complete_code": "x = 1",
       "syntax_error": "function function",
       "input_prompt": "io.read()",
-      "sleep_code": "-- Lua sleep requires os.execute or socket",
+      "sleep_code": "function sleep(t)local start = os.time();repeat until os.time() > start + t end;sleep(1)",
       "completion_var": "test_variable_for_completion",
       "completion_setup": "test_variable_for_completion = 42",
       "completion_prefix": "test_variable_for_",
-      "display_data_code": "ilua.display.html('<b>bold</b>')",
-      "update_display_data_code": "-- Lua doesn't support update_display_data",
-      "rich_execute_result_code": "// Lua uses display_data for rich output"
+      "display_data_code": "ilua.display.display_data(ilua.display.html('<b>bold</b>'))",
+      "update_display_data_code": "ilua.display.display_data(ilua.display.html('<b>hello</b>'), {}, {display_id = 'id1'} )\nilua.display.update_display_data(ilua.display.html('<b>world</b>'), {}, {display_id = 'id1'} )",
+      "rich_execute_result_code": "ilua.display.html('<b>world</b>')"
     },
     "haskell": {
       "print_hello": "putStrLn \"hello\"",