build lean

lean: Remove `Nat.cast` from `Fin`, in preparation for a Lean upgrade #457

Sign in to view logs

Triggered via pull request August 28, 2025 16:18

eric-wieser

opened #303

eric-wieser:no-fin-cast

Status Success

Total duration 25m 21s

Artifacts –

lean.yml

on: pull_request