Lint

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

Sign in to view logs

Triggered via pull request July 25, 2026 10:14

mdickinson

synchronize #154685

mdickinson:fix-stale-isqrt-proof-link

Status Success

Total duration 1m 7s

Artifacts –

lint.yml

on: pull_request