From 43401512fdd6ef72377e1bf082cbae392803a02a Mon Sep 17 00:00:00 2001 From: Boming Zhang Date: Sat, 19 Oct 2024 06:59:22 -0400 Subject: [PATCH] style: format with google/yamlfmt --- .gitea/workflows/push.yaml | 82 +++++++++++++++++++------------------- 1 file changed, 41 insertions(+), 41 deletions(-) diff --git a/.gitea/workflows/push.yaml b/.gitea/workflows/push.yaml index 0864d11..dfc4ec4 100644 --- a/.gitea/workflows/push.yaml +++ b/.gitea/workflows/push.yaml @@ -1,45 +1,45 @@ --- name: push on: - push: - branches: - - master + push: + branches: + - master jobs: - build: - container: - image: focs.ji.sjtu.edu.cn:5000/gitea/runner-images:golang-ubuntu-latest - steps: - - name: Check out repository code - uses: https://gitea.com/BoYanZh/checkout@focs - - name: Display Go version - run: go version - - name: Prepare - run: | - go env -w GO111MODULE=on - go env -w GOPROXY=https://goproxy.io,direct - mkdir -p ~/.ssh - echo "${{ secrets.DEPLOY_PRIVATE_KEY }}" > ~/.ssh/id_ed25519 - echo "${{ secrets.DEPLOY_KEY }}" > ~/.ssh/id_ed25519.pub - chmod 600 ~/.ssh/id_ed25519 - chmod 600 ~/.ssh/id_ed25519.pub - ssh-keyscan -p 2222 focs.ji.sjtu.edu.cn >> ~/.ssh/known_hosts - ssh -T git@focs.ji.sjtu.edu.cn -p 2222 - shell: bash - - name: Determine build command - id: build_command - run: | - if echo "${{ github.event.head_commit.message }}" | grep -q "force build"; then - echo "build_command=make force-build" >> $GITHUB_ENV - else - echo "build_command=make build" >> $GITHUB_ENV - fi - - name: Build - env: - TZ: Asia/Shanghai - run: ${{ env.build_command }} - - name: Check images - run: docker images - - name: Remove dangling images - run: docker image prune -f - - name: Push - run: make push + build: + container: + image: focs.ji.sjtu.edu.cn:5000/gitea/runner-images:golang-ubuntu-latest + steps: + - name: Check out repository code + uses: https://gitea.com/BoYanZh/checkout@focs + - name: Display Go version + run: go version + - name: Prepare + run: | + go env -w GO111MODULE=on + go env -w GOPROXY=https://goproxy.io,direct + mkdir -p ~/.ssh + echo "${{ secrets.DEPLOY_PRIVATE_KEY }}" > ~/.ssh/id_ed25519 + echo "${{ secrets.DEPLOY_KEY }}" > ~/.ssh/id_ed25519.pub + chmod 600 ~/.ssh/id_ed25519 + chmod 600 ~/.ssh/id_ed25519.pub + ssh-keyscan -p 2222 focs.ji.sjtu.edu.cn >> ~/.ssh/known_hosts + ssh -T git@focs.ji.sjtu.edu.cn -p 2222 + shell: bash + - name: Determine build command + id: build_command + run: | + if echo "${{ github.event.head_commit.message }}" | grep -q "force build"; then + echo "build_command=make force-build" >> $GITHUB_ENV + else + echo "build_command=make build" >> $GITHUB_ENV + fi + - name: Build + env: + TZ: Asia/Shanghai + run: ${{ env.build_command }} + - name: Check images + run: docker images + - name: Remove dangling images + run: docker image prune -f + - name: Push + run: make push