Skip to content

fix

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

[Merged by Bors] - chore: fix implicit-reducible diamonds in Primrec #38305

fix
db7e35f
Select commit
Loading
Failed to load commit list.

Annotations

1 warning and 1 notice
Add topic label
succeeded Apr 20, 2026 in 1m 6s