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

index 029bab227847671d784d90dc24d3698f77706845..d312a9f9bf351c7404dfe6817f2d8f7d26511a63 100644 (file)
@@ -36,6 +36,8 @@ jobs:
         cd ..
         sudo apt-get install gnuplot lua5.3
         ln -s $(which lua5.3) lua
+        export PATH=./wren:$PATH
+        export PATH=.:$PATH
         bash scripts/benchmark.sh
 
     - name: MdBook
@@ -48,8 +50,6 @@ jobs:
         echo Add other actions to build,
         echo test, and deploy your project.
         export PATH=~/.cabal/bin:$PATH
-        export PATH=./wren:$PATH
-        export PATH=.:$PATH
         make build
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"