Bump actions/github-script from 6 to 7

Bumps [actions/github-script](https://github.com/actions/github-script) from 6 to 7.
- [Release notes](https://github.com/actions/github-script/releases)
- [Commits](actions/github-script@v6...v7)

---
updated-dependencies:
- dependency-name: actions/github-script
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

.github/workflows/Remove_labels.yml

@@ -10,7 +10,7 @@ jobs:
  name: remove label
  steps:
  - name: removelabel
- uses: actions/github-script@v6
+ uses: actions/github-script@v7
  with:
  github-token: ${{ secrets.GITHUB_TOKEN }}
  script: |
@@ -21,7 +21,7 @@ jobs:
  name: "Tested",
  });
  - name: Post address
- uses: actions/github-script@v6
+ uses: actions/github-script@v7
  if: ${{ success() }}
  with:
  script: |

.github/workflows/build_doc.yml

@@ -16,7 +16,7 @@ jobs:
 
  runs-on: ubuntu-latest
  steps:
- - uses: actions/github-script@v6
+ - uses: actions/github-script@v7
  id: get_round
  with:
  result-encoding: string
@@ -38,7 +38,7 @@ jobs:
  }
  }
  return 'stop'
- - uses: actions/github-script@v6
+ - uses: actions/github-script@v7
  if: steps.get_round.outputs.result != 'stop'
  id: get_pr_number
  with:
@@ -49,7 +49,7 @@ jobs:
  return pr_number
 
  - name: Emoji-comment
- uses: actions/github-script@v6
+ uses: actions/github-script@v7
  if: steps.get_round.outputs.result != 'stop'
  with:
  script: |
@@ -136,7 +136,7 @@ jobs:
  fi
 
  - name: Post address
- uses: actions/github-script@v6
+ uses: actions/github-script@v7
  if: ${{ success() && steps.get_round.outputs.result != 'stop' }}
  with:
  script: |
@@ -154,7 +154,7 @@ jobs:
  - name: Post error
  env:
  ERRORMSG: ${{steps.build_and_run.outputs.DoxygenError}}
- uses: actions/github-script@v6
+ uses: actions/github-script@v7
  if: ${{ failure() && steps.get_round.outputs.result != 'stop' }}
  with:
  script: |

.github/workflows/filter_testsuite.yml

@@ -14,7 +14,7 @@ jobs:
  if: (github.event.comment.user.login == 'sloriot' || github.event.comment.user.login == 'lrineau') && contains(github.event.comment.body, '/testme')
  runs-on: ubuntu-latest
  steps:
- - uses: actions/github-script@v6
+ - uses: actions/github-script@v7
  id: get_label
  with:
  result-encoding: string
@@ -63,7 +63,7 @@ jobs:
  ssh ${HOST} "${PATH_TO_SCRIPT}/run_testsuite_from_branch_name.sh $USER_NAME $BRANCH_NAME $BASE $PR_NUMBER"
  done
  - name: Post address
- uses: actions/github-script@v6
+ uses: actions/github-script@v7
  with:
  script: |
  const address = "Testsuite launched. Results will appear on the following page: https://cgal.geometryfactory.com/~cgaltest/test_suite/TESTRESULTS/index.shtml "

.github/workflows/wiki_notification.yml

@@ -9,7 +9,7 @@ jobs:
  messages: ${{ steps.set-result.outputs.result }}
  steps:
  - name: get informations and prepare email
- uses: actions/github-script@v6
+ uses: actions/github-script@v7
  id: set-result
  with:
  result-encoding: string