chore(deps): upgrade dev dependencies #1173

The pull request embarked with main (67fa16d) will be merged soon

Required conditions for merge:

#approved-reviews-by >= 1 [🛡 GitHub branch protection]
- #1173
#approved-reviews-by>=1
- #1173
#changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
- #1173
-label~=(do-not-merge)
- #1173
status-success=build
all of [📃 From pull request rule Automatic merge on approval and successful build]:
- #approved-reviews-by>=1
  - #1173
- -closed [📌 queue requirement]
  - #1173
- -conflict [📌 queue requirement]
  - #1173
- -draft [📌 queue requirement]
  - #1173
- -label~=(do-not-merge)
  - #1173
- status-success=build
- any of [📌 queue -> configuration change requirements]:
  - -mergify-configuration-changed
    - #1173
  - check-success = Configuration changed
- any of [🔀 queue conditions]:
  - all of [📌 queue conditions of queue default]:
    - #approved-reviews-by >= 1 [🛡 GitHub branch protection]
      - #1173
    - #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
      - #1173
    - any of [🛡 GitHub branch protection]:
      - check-success = build
      - check-neutral = build
      - check-skipped = build
any of [🛡 GitHub branch protection]:
- check-success = build
- check-neutral = build
- check-skipped = build

Check-runs and statuses of the embarked pull request #1173: