CI: use $GITHUB_PATH instead

Cf. https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/store-information-in-variables#default-environment-variables
tulip-control · Nov 14, 2024 · 3d0dac1 · 3d0dac1
1 parent 4b5699d
commit 3d0dac1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -28,9 +28,9 @@ jobs:
               run: |
                 brew install graphviz
                 brew install flex
-                echo 'export PATH="/opt/homebrew/opt/flex/bin:$PATH"' >> $HOME/.bash_profile
+                echo '/opt/homebrew/opt/flex/bin' >> $GITHUB_PATH
                 brew install bison
-                echo 'export PATH="/opt/homebrew/opt/bison/bin:$PATH"' >> $HOME/.bash_profile
+                echo '/opt/homebrew/opt/bison/bin' >> $GITHUB_PATH
             - name: Install APT packages if Ubuntu
               if: runner.os == 'Linux'
               run: |