diff --git a/.github/workflows/1_on_pull_request.yml b/.github/workflows/1_on_pull_request.yml index 5ddaf997..2e1dbd19 100644 --- a/.github/workflows/1_on_pull_request.yml +++ b/.github/workflows/1_on_pull_request.yml @@ -872,27 +872,38 @@ jobs: fi fi - - name: Check for deleted nodes + - name: Check for deleted, added, and modified nodes run: | # Read the diff output from the file diff_output=$(cat diff_output.txt) # Extract nodes that were removed from the GPML file (lines starting with '-') deleted_nodes=$(echo "$diff_output" | grep "^-" | grep '