Skip to content

migrate to jspecify annotations (was checker framework) #4568

migrate to jspecify annotations (was checker framework)

migrate to jspecify annotations (was checker framework) #4568

Job Run time
1m 20s
1m 7s
1m 19s
1m 26s
1m 5s
1m 9s
1m 11s
1m 13s
1m 21s
1m 13s
1m 29s
1m 17s
2m 14s
2m 5s
1m 14s
1m 30s
1m 16s
1m 21s
1m 37s
1m 46s
1m 48s
1m 41s
2m 0s
1m 40s
1m 17s
1m 20s
1m 35s
1m 32s
1m 37s
1m 31s
1m 26s
1m 10s
1m 37s
1m 28s
1m 10s
1m 38s
1m 44s
1m 38s
1m 40s
1m 45s
2m 26s
2m 14s
1m 21s
1m 10s
1m 14s
1m 27s
1m 39s
1m 36s
2m 1s
1m 55s
1m 55s
1m 37s
1m 33s
1m 43s
1m 37s
1m 37s
1m 52s
1m 46s
1m 31s
1m 40s
1m 17s
1m 9s
1m 9s
1m 6s
1m 20s
1m 46s
1m 23s
1m 10s
1m 9s
1m 14s
1m 15s
1m 20s
1m 12s
1m 1s
1m 9s
1m 31s
1m 4s
1m 19s
1m 32s
1m 13s
1m 20s
1m 6s
1m 25s
1m 14s
1m 17s
1m 31s
1m 26s
1m 10s
1m 17s
1m 24s
1m 11s
1m 24s
1m 25s
1m 16s
1m 6s
1m 42s
3m 51s
0s
2h 23m 48s