Addin new environment variable to profiling tests docker

runtimeverification · Nov 7, 2023 · 43ee028 · 43ee028
1 parent d1de1ad
commit 43ee028
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -192,6 +192,7 @@ jobs:
             -e GITHUB_TOKEN=$GITHUB_TOKEN                                      \
             -e GITHUB_ACTIONS=true                                             \
             -e GITHUB_EVENT_NAME=$GITHUB_EVENT_NAME                            \
+            -e GITHUB_EVENT_PATH=$GITHUB_EVENT_PATH                            \
             -e GITHUB_REPOSITORY=$GITHUB_REPOSITORY                            \
             -e GITHUB_REF=$GITHUB_REF                                          \
             --workdir /opt/workspace                                           \