[Automated] Merge dev into gh-pages

This commit is contained in:
github-actions[bot]
2023-08-22 07:37:44 +00:00
committed by GitHub

View File

@@ -1,6 +1,6 @@
repos:
- repo: https://github.com/pre-commit/mirrors-prettier
rev: v3.0.0-alpha.6
rev: v3.0.2
hooks:
- id: prettier
args: