From 957ce59e6f463f7720c6164f71fe2eb890cfc242 Mon Sep 17 00:00:00 2001
From: John Agapiou <jagapiou@google.com>
Date: Mon, 22 Apr 2024 10:33:25 -0700
Subject: [PATCH] Add venv to $GITHUB_PATH instead of $PATH and $GITHUB_ENV

PiperOrigin-RevId: 627083653
Change-Id: Iaac6a99e6a32da29c126c8a975653e0fc6b94954
---
 .github/actions/install-meltingpot/action.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/actions/install-meltingpot/action.yml b/.github/actions/install-meltingpot/action.yml
index df7aaa96..61f577c0 100644
--- a/.github/actions/install-meltingpot/action.yml
+++ b/.github/actions/install-meltingpot/action.yml
@@ -61,6 +61,11 @@ runs:
     - name: Activate virtual environment
       shell: bash
       run: |
-        source venv/bin/activate
+        echo "${PWD}/venv/bin" >> $GITHUB_PATH
+
+    - name: Show installation
+      shell: bash
+      run: |
+        which python
+        which pip
         pip list
-        echo "PATH=${PATH}" >> $GITHUB_ENV