Skip to content

Lean: derive Inhabited for structs (#950) #1035

Lean: derive Inhabited for structs (#950)

Lean: derive Inhabited for structs (#950) #1035

build (4.08.1, ubuntu-latest)

succeeded Feb 4, 2025 in 5m 59s