From cc81412191d5c8c5c7eaab3d8fd2e32a085b6c84 Mon Sep 17 00:00:00 2001
From: JRPAN <25518778+JRPan@users.noreply.github.com>
Date: Sat, 31 Aug 2024 00:54:38 -0400
Subject: [PATCH] correct format script path

---
 .github/workflows/short-tests.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/short-tests.yml b/.github/workflows/short-tests.yml
index 3ac9e0bfc..ae21a5130 100644
--- a/.github/workflows/short-tests.yml
+++ b/.github/workflows/short-tests.yml
@@ -64,5 +64,6 @@ jobs:
           git config user.email "purdue-jenkins@users.noreply.github.com"
           git remote set-url origin git@github.com:${{github.event.pull_request.head.repo.full_name}}
           git remote -v
-          /bin/bash ./format-code.sh
+          /bin/bash ./gpu-simulator/format-code.sh
+          /bin/bash ./util/tracer_nvbit/tracer_tool/format-code.sh
           if git status --untracked-files=no | grep -q "nothing to commit"; then echo "No changes to commit."; else git commit -a -m "Automated Format"; git push; fi
\ No newline at end of file