chore: rename mocha-runner (#10984)

This commit is contained in:
jrandolf
2023-09-22 01:57:18 -07:00
committed by GitHub
parent 18ba47e043
commit d124c83dad
15 changed files with 11 additions and 11 deletions

View File

@@ -41,7 +41,7 @@ jobs:
- 'docker/**'
- 'test/**'
- 'test-d/**'
- 'tools/mochaRunner/**'
- 'tools/mocha-runner/**'
- '.mocharc.cjs'
- 'tools/doctest/**'
website: