Skip to content

Conversation

@tautschnig
Copy link
Member

Bumps mocha from 10.8.2 to 11.7.5.


updated-dependencies:

  • dependency-name: mocha dependency-version: 11.7.5 dependency-type: direct:development update-type: version-update:semver-major ...

dependabot bot and others added 2 commits December 17, 2025 09:43
Bumps [mocha](https://github.com/mochajs/mocha) from 10.8.2 to 11.7.5.
- [Release notes](https://github.com/mochajs/mocha/releases)
- [Changelog](https://github.com/mochajs/mocha/blob/v11.7.5/CHANGELOG.md)
- [Commits](mochajs/mocha@v10.8.2...v11.7.5)

---
updated-dependencies:
- dependency-name: mocha
  dependency-version: 11.7.5
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
@tautschnig tautschnig merged commit 4cc1a44 into model-checking:main Dec 17, 2025
4 of 7 checks passed
@dependabot dependabot bot deleted the dependabot/npm_and_yarn/mocha-11.7.5 branch December 19, 2025 10:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants