Continuous Integration

Merge pull request #1 from KeYProject/dependabot/npm_and_yarn/npm-dev… #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
TypeScript Tests	26s
GitHub Actions Test	4s
	30s