two dots? (probably not)

MWStake · Dec 10, 2023 · 74bb0dd · 74bb0dd
1 parent b203496
commit 74bb0dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -19,7 +19,7 @@ jobs:
       - name: Verify that the policy is met
         run: |
           ./policy
-          git diff --name-only origin/${{ github.ref }}...HEAD
+          git diff --name-only origin/${{ github.ref }}..HEAD
           if [ $? -eq 0 ]; then
             echo "Does not meet policy"
             exit 1