Skip to content
Check labels

Fix a stale link for the math.integer.isqrt correctness proof #283645

Sign in to view logs

Fix a stale link for the math.integer.isqrt correctness proof

Fix a stale link for the math.integer.isqrt correctness proof #283645

Triggered via pull request July 25, 2026 10:14
@mdickinsonmdickinson
synchronize #154685
mdickinson:fix-stale-isqrt-proof-link
Status Success
Total duration 13s
Artifacts –

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
5s
DO-NOT-MERGE
Unresolved review
8s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: awaiting review