Java CI with Ant / Build sumo-ci

Fix for processing proof images via GraphViz (dot) #312

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	3m 41s
build-sumo-ci-and-sigmakee	1m 1s
	4m 42s