Fix a stale link for the math.integer.isqrt correctness proof #283714
bedevere-app[bot]require-pr-label.yml
on: pull_request
DO-NOT-MERGE
5s
Unresolved review
6s
Annotations
1 warning
|
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: docs, skip issue, skip news
|