Merge pull request #401 from jbicker/issue-128 #85

Sign in to view logs

Summary
Jobs
- Sprotty CI
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Sprotty CI	56s
	56s