[3.15] Fix a stale link to the math.integer.isqrt() correctness proof (GH-154685)
#283722
require-pr-label.yml
on: pull_request
DO-NOT-MERGE
5s
Unresolved review
5s
Annotations
2 errors and 1 warning
|
Unresolved review
The operation was canceled.
|
|
DO-NOT-MERGE
The operation was canceled.
|
|
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: skip issue, awaiting review, skip news
|