Java Examples

chore: bump dafny verification version to 4.7 (#1181) #2892

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
testJava (8, macos-12)	10m 7s
testJava (11, macos-12)	12m 17s
testJava (16, macos-12)	13m 15s
testJava (17, macos-12)	11m 1s
	46m 40s