Skip to content

Do not consider uninhabited constructors when performing exhaustive m… #918

Do not consider uninhabited constructors when performing exhaustive m…

Do not consider uninhabited constructors when performing exhaustive m… #918

Triggered via push October 20, 2024 18:04
Status Success
Total duration 54s
Artifacts
add-to-backporting-project
44s
add-to-backporting-project
Fit to window
Zoom out
Zoom in