From 139b3944f955e01c1f7d29f2532bb0ba271b7e6b Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <jaisnan@amazon.com>
Date: Tue, 30 Jul 2024 23:36:21 +0000
Subject: [PATCH] Fix path

---
 .github/workflows/kani.yml  | 5 +----
 .github/workflows/rustc.yml | 5 +----
 2 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index f5c2e60761e8a..4409c56dc2016 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -34,8 +34,5 @@ jobs:
           path: head
           submodules: true
 
-      - name: Run ls
-        run: ls ${{github.workspace}}/head
-
       - name: Run Kani Script
-        run: bash ./verify-rust-std/scripts/check_kani.sh ./head/
+        run: bash ./verify-rust-std/scripts/check_kani.sh ${{github.workspace}}/head
diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
index 3b012277017ab..112c1f58f7ce8 100644
--- a/.github/workflows/rustc.yml
+++ b/.github/workflows/rustc.yml
@@ -30,8 +30,5 @@ jobs:
         with:
           path: head
 
-      - name: Run ls
-        run: ls ${{ github.workspace }}/head
-
       - name: Run rustc script
-        run: bash ./head/scripts/check_rustc.sh ./head
+        run: bash ./head/scripts/check_rustc.sh ${{github.workspace}}/head