From ad9eea1e87ed0aea25f2026a6c059c20027ee14c Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Tue, 3 Oct 2023 22:25:32 -0600
Subject: [PATCH] List directory

---
 .github/workflows/test-pr.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index c8703c61..7540fbdd 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -45,4 +45,5 @@ jobs:
       - name: 'Test New Tool Versions'
         run: |
           # Run the following in the running docker container
+          docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c 'ls -l /home/ubuntu'
           docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c './test/run-kevm.sh'