From 350b115ee39543d48a10c9fdd03590a2e242d04e Mon Sep 17 00:00:00 2001
From: Jason Belt <belt@ksu.edu>
Date: Mon, 16 Dec 2024 13:11:49 -0600
Subject: [PATCH] fix ci script

---
 .github/workflows/ci-hamr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci-hamr.yml b/.github/workflows/ci-hamr.yml
index 4582f89..19c674a 100644
--- a/.github/workflows/ci-hamr.yml
+++ b/.github/workflows/ci-hamr.yml
@@ -74,4 +74,4 @@ jobs:
           export MICROKIT_BOARD=qemu_virt_aarch64
           export MICROKIT_SDK=/root/microkit/release/microkit-sdk-1.4.1-dev.14+cf88629
 
-          $HOME/inspecta/micro-examples/microkit/.ci/test.cmd
+          $HOME/.github/workflows/hamr-ci.cmd