From 1c897e68e2a48b5552fb33a30b22c01b8cdb0855 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Thu, 10 Aug 2023 00:05:52 +1000
Subject: [PATCH] ci: fix path of Zig install

---
 .github/workflows/ci.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 176e55c5..19ca0be8 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -41,7 +41,7 @@ jobs:
         run: |
           wget https://ziglang.org/download/0.11.0/zig-linux-x86_64-0.11.0.tar.xz
           tar xf zig-linux-x86_64-0.11.0.tar.xz
-          echo "${PWD}/zig-linux-x86_64-0.11.0/bin:$PATH" >> $GITHUB_PATH
+          echo "${PWD}/zig-linux-x86_64-0.11.0/:$PATH" >> $GITHUB_PATH
       - name: Build and run VMM examples
         run: ./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6
         shell: bash
@@ -70,7 +70,7 @@ jobs:
         run: |
           wget https://ziglang.org/download/0.11.0/zig-macos-x86_64-0.11.0.tar.xz
           tar xf zig-macos-x86_64-0.11.0.tar.xz
-          echo "${PWD}/zig-macos-x86_64-0.11.0/bin:$PATH" >> $GITHUB_PATH
+          echo "${PWD}/zig-macos-x86_64-0.11.0/:$PATH" >> $GITHUB_PATH
       - name: Build and run VMM examples
         run: ./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6
         shell: bash