benchmarks

migrate to jspecify annotations (was checker framework) #3708

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchmarks (11)	1h 2m 49s
benchmarks (21)	3m 21s
benchmarks (24)	1h 2m 38s
benchmarks (GraalVM)	3m 59s
	2h 12m 47s