From 6cd114bfdd17860c89785cd48bd7874a2f4cd17a Mon Sep 17 00:00:00 2001 From: Henri Casanova Date: Tue, 5 Nov 2024 23:57:55 -1000 Subject: [PATCH] Adding make install to the github action --- .github/workflows/build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 078441181..b33d70a9c 100755 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -72,6 +72,7 @@ jobs: docker exec wrench mkdir wrench/build; docker exec -w /home/wrench/wrench/build wrench cmake -DENABLE_BATSCHED=${batsched} -DCMAKE_VERBOSE_MAKEFILE=ON ..; docker exec -w /home/wrench/wrench/build wrench make all unit_tests examples wrench-daemon; + docker exec -w /home/wrench/wrench/build wrench sudo make install # run unit_tests docker exec -w /home/wrench/wrench/build wrench ./unit_tests; # run examples