diff --git a/.github/workflows/1_on_pull_request.yml b/.github/workflows/1_on_pull_request.yml index acbaf119..04404966 100644 --- a/.github/workflows/1_on_pull_request.yml +++ b/.github/workflows/1_on_pull_request.yml @@ -878,14 +878,38 @@ jobs: 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 '