Skip to content

Fix: Prevent GADT reasoning in pattern alternatives (#22853) #1262

Fix: Prevent GADT reasoning in pattern alternatives (#22853)

Fix: Prevent GADT reasoning in pattern alternatives (#22853) #1262

Triggered via push March 25, 2025 09:05
Status Success
Total duration 53s
Artifacts
add-to-backporting-project
47s
add-to-backporting-project
Fit to window
Zoom out
Zoom in