]> Nishi Git Mirror - gwion.git/commitdiff
lua
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 17 Jan 2020 00:42:42 +0000 (01:42 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 17 Jan 2020 00:42:42 +0000 (01:42 +0100)
.github/workflows/build.yml

index 80c9d7d2c42be34fec3b39d52a406d4a57f2adfd..148cede165ad35217aa95818c780c86e9533c0df 100644 (file)
@@ -33,7 +33,7 @@ jobs:
         cd wren
         make
         cd ..
-        sudo apt-get install gnuplot lua
+        sudo apt-get install gnuplot lua5.3
         bash scripts/benchmark.sh
 
     - name: MdBook