Skip to content

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

Lean: derive Inhabited for structs (#950)

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

Triggered via push February 4, 2025 11:32
Status Success
Total duration 22m 53s
Artifacts 3

coverage.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
code-coverage
1.32 MB
event.json
2.1 KB
test-results
12 KB