migrate to jspecify annotations (was checker framework) #3707

All 10 513 437 tests pass in 2h 52m 34s

10 513 437 tests ±0 10 513 437 ✅ ±0 2h 52m 34s ⏱️ + 1m 24s
1 051 suites ±0 0 💤 ±0
1 051 files ±0 0 ❌ ±0

Results for commit 40c5022. ± Comparison against earlier commit a31defd.