Skip to content

oops

b32adcd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat: lemmas on ordinal Nat.cast #36584

oops
b32adcd
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci (fork) / Lint style
succeeded Apr 2, 2026 in 2m 14s