Fix loongarch64 server port. Try GITHUB_RUN_NUMBER.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f353f17..f0fcb1b 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -90,7 +90,7 @@ jobs:
CFARM_PORT: 22
CFARM_ARCH: Aarch64
- CFARM_HOST: gcc400.fsffrance.org
- CFARM_PORT: 225465
+ CFARM_PORT: 25465
CFARM_ARCH: Loongarch64
- CFARM_HOST: gcc230.fsffrance.org
CFARM_PORT: 22
@@ -125,8 +125,7 @@ jobs:
key: ${{ secrets.CFARM_KEY }}
port: ${{ matrix.CFARM_PORT }}
script: |
- rm -rf actions
- mkdir actions
+ mkdir -p github/$GITHUB_RUN_NUMBER
- name: Copy source to remote server
uses: appleboy/scp-action@master
@@ -136,7 +135,7 @@ jobs:
key: ${{ secrets.CFARM_KEY }}
port: ${{ matrix.CFARM_PORT }}
source: "*"
- target: "actions"
+ target: "github/$GITHUB_RUN_NUMBER"
- name: SSH Remote Commands
uses: appleboy/ssh-action@v0.1.5
@@ -147,7 +146,7 @@ jobs:
port: ${{ matrix.CFARM_PORT }}
script: |
ls -l
- cd actions
+ cd github/$GITHUB_RUN_NUMBER
./configure
make
make check