Skip to content
Update Dependency Graph

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

Sign in to view logs

Improve GADT reasoning for pattern alternatives (#23205)

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

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

dependency-graph.yml

on: push
Update Dependency Graph
1m 25s
Update Dependency Graph
Fit to window
Zoom out
Zoom in