benchmarks

migrate to jspecify annotations (was checker framework) #3703

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchmarks (11)	1h 8m 13s
benchmarks (21)	1h 5m 49s
benchmarks (24)	1h 4m 57s
benchmarks (GraalVM)	1h 7m 28s
	4h 26m 27s