Skip to content
Add to backporting project

Improve GADT reasoning for pattern alternatives (#23205) #1389

Sign in to view logs

Improve GADT reasoning for pattern alternatives (#23205)

Improve GADT reasoning for pattern alternatives (#23205) #1389

Triggered via push May 28, 2025 12:24
@LinyxusLinyxus
pushed 457a463
main
Status Success
Total duration 50s
Artifacts –

lts-backport.yaml

on: push
add-to-backporting-project
41s
add-to-backporting-project
Fit to window
Zoom out
Zoom in