check-friends: fix for everparse

FStarLang · Jan 4, 2025 · 767698a · 767698a
1 parent 5dea43f
commit 767698a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/check-friends.yml b/.github/workflows/check-friends.yml
@@ -541,6 +541,10 @@ jobs:
         with:
           name: pulse
 
+      # everparse expects PULSE_HOME to be the root of the installation,
+      # not the root of the repo
+      - run: echo "PULSE_HOME=$PULSE_HOME/out" >> $GITHUB_ENV
+
       - name: Checkout everparse (cbor branch)
         uses: actions/checkout@master
         with: