Merge pull request #9 from model-checking/dependabot/npm_and_yarn/multi-90047ba03a

Bump serialize-javascript and mocha

Author: tautschnig