Skip to content

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

Lean: derive Inhabited for structs (#950)

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

build (5.2.1, ubuntu-24.04)

succeeded Feb 4, 2025 in 22m 44s