ci: use commit sha instead of HEAD to check changes on push (#72)

thousandbrainsproject · Nov 26, 2024 · dec6029 · dec6029
1 parent b79bac7
commit dec6029
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/actions/should_run_monty/action.yml b/.github/actions/should_run_monty/action.yml
@@ -28,7 +28,7 @@ runs:
       working-directory: ${{ inputs.working_directory }}
       shell: bash
       run: |
-        git diff --name-only HEAD^1 > changed_files.txt
+        git diff --name-only ${{ github.sha }}^1 > changed_files.txt
         ./.github/actions/should_run_monty/check_changed_files.sh
     - name: Should run
       id: should_run

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -100,7 +100,7 @@ jobs:
         id: filter_by_path_push
         working-directory: tbp.monty
         run: |
-          git diff --name-only HEAD^1 > changed_files.txt
+          git diff --name-only ${{ github.sha }}^1 > changed_files.txt
           while IFS= read -r changed_file
           do
             echo $changed_file

diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml
@@ -45,7 +45,7 @@ jobs:
         id: filter_by_path_push
         working-directory: tbp.monty
         run: |
-          git diff --name-only HEAD^1 > changed_files.txt
+          git diff --name-only ${{ github.sha }}^1 > changed_files.txt
           while IFS= read -r changed_file
           do
             echo $changed_file