Merge pull request #32 from KeYProject/dependabot/github_actions/rojo… #156

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Spellcheck	29s
build	57s
deploy	7s
	1m 33s