From 366fa4b3dd2ec74aa7c934cb034e6c8fa96d0eaa Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Wed, 4 Oct 2023 23:59:03 -0600
Subject: [PATCH] Test env

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

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 5232605f..6408a507 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -45,5 +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 'which nix && which kup && kup list'
+          docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c 'which nix && which kup && kup list && source ~/.bashrc && which forge'
           docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c './test/run-kevm.sh'