]> Nishi Git Mirror - gwion.git/commitdiff
copy lua on init [skip-ci]
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 31 Jan 2020 12:00:19 +0000 (13:00 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 31 Jan 2020 12:00:25 +0000 (13:00 +0100)
.github/workflows/build.yml

index 193ef37a891e099015b6eeec9828736d3b8b1412..88cff69619438e138de0f7a2c3ed82393aaccb61 100644 (file)
@@ -122,6 +122,7 @@ jobs:
         cd lua
         sudo apt-get install libreadline-dev
         make
+        cp lua ..
 
     - name: Lua [ update ]
       if: steps.lua.outputs.cache-hit == 'true'