Commit 0cbffe5ef542641170b8cbe588fb703e7410cb13

Anthony Green 2022-09-03T08:23:35

Fix GITHUB_RUN_NUMBER usage

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f0fcb1b..c155aac 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -125,7 +125,7 @@ jobs:
           key: ${{ secrets.CFARM_KEY }}
           port: ${{ matrix.CFARM_PORT }}
           script: |
-            mkdir -p github/$GITHUB_RUN_NUMBER
+            mkdir -p ga/${{ env.GITHUB_RUN_NUMBER }}
 
       - name: Copy source to remote server
         uses: appleboy/scp-action@master
@@ -135,7 +135,7 @@ jobs:
           key: ${{ secrets.CFARM_KEY }}
           port: ${{ matrix.CFARM_PORT }}
           source: "*"
-          target: "github/$GITHUB_RUN_NUMBER"
+          target: "ga/${{ env.GITHUB_RUN_NUMBER }}"
 
       - name: SSH Remote Commands
         uses: appleboy/ssh-action@v0.1.5
@@ -146,7 +146,7 @@ jobs:
           port: ${{ matrix.CFARM_PORT }}
           script: |
             ls -l
-            cd github/$GITHUB_RUN_NUMBER
+            cd ga/${{ env.GITHUB_RUN_NUMBER }}
             ./configure
             make
             make check