Skip to content
Back to pull request #455

Fix edge label placement #209

Sign in to view logs

Fix edge label placement

Fix edge label placement #209

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Sprotty CI
1m 13s
1m 13s