diff --git a/.github/check_for_changes.py b/.github/check_for_changes.py index 6cf2c2cb78..73b6387efd 100644 --- a/.github/check_for_changes.py +++ b/.github/check_for_changes.py @@ -7,7 +7,7 @@ def main(): # Check if the target directory exists if not os.path.exists('autopts/wid/'): print("Target directory 'autopts/wid/' does not exist.") - return + sys.exit(1) try: pr_number = os.environ.get('PR_NUMBER') @@ -46,7 +46,7 @@ def main(): continue if name_wo_ext == "gatt_client": - name_wo_ext == "gatt_cl" + name_wo_ext = "gatt/cl" upper_name = name_wo_ext.upper() filenames.append(upper_name) diff --git a/.github/workflows/run_cron_from_pr.yaml b/.github/workflows/run_cron_from_pr.yaml index 83a110ee1e..e517367303 100644 --- a/.github/workflows/run_cron_from_pr.yaml +++ b/.github/workflows/run_cron_from_pr.yaml @@ -1,4 +1,4 @@ -name: Check PR for changes in autopts/wid/ +name: Check for changes in autopts/wid on: pull_request_target: