continue on diff finding no changes

wpilibsuite · Oct 18, 2024 · d5bf35d · d5bf35d
1 parent fe001e3
commit d5bf35d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -36,6 +36,7 @@ jobs:
         fi
         echo "Base commit: $BASE_COMMIT"
 
+        set +e
         # Get list of added or modified JSON files in subdirectories
         git diff --diff-filter=AM --name-only $BASE_COMMIT HEAD | grep '.*/.*\.json$' > changed_json_files.txt