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