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'