From dbc9bebe76a424b1af2f3b11bc8fb3b6070ac814 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Fri, 17 Jan 2020 01:32:52 +0100 Subject: [PATCH] install --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 68807a0b..06f59165 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -25,6 +25,7 @@ jobs: cd Gwion git submodule update --init util ast make + sudo make install - name: Benchmark run: | @@ -41,7 +42,6 @@ jobs: echo Add other actions to build, echo test, and deploy your project. export PATH=~/.cabal/bin:$PATH - export PATH=./Gwion:$PATH make build git config --local user.email "action@github.com" git config --local user.name "GitHub Action" -- 2.43.0