From d139dd3f67ab34dbd8117d7ab46f01fc8c0da9b2 Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Wed, 8 Nov 2023 16:41:41 +0900 Subject: [PATCH] fix: fetch origin and find diff from origin --- .github/workflows/check.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index bd5ca2fd5..057e478ff 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -16,8 +16,8 @@ jobs: - uses: actions/checkout@v4 - id: find-targets run: | - git fetch origin ${{ github.base_ref }}:refs/remotes/origin/${{ github.base_ref }} - projects=$(git diff --name-only origin/${{ github.base_ref }} ${{ github.head_ref }} | grep -e "^OCaml/" -e "^Java/" -e "^C/" -e "^Solidity/" | cut -d '/' -f 1-2 | sort | uniq | xargs -I{prj} echo \"{prj}\" | tr '\n' ',' | sed 's/,*$//') + git fetch origin + projects=$(git diff --name-only origin/${{ github.base_ref }} origin/${{ github.head_ref }} | grep -e "^OCaml/" -e "^Java/" -e "^C/" -e "^Solidity/" | cut -d '/' -f 1-2 | sort | uniq | xargs -I{prj} echo \"{prj}\" | tr '\n' ',' | sed 's/,*$//') echo "targets=[$projects]" >> ${GITHUB_OUTPUT} outputs: