Skip to content
Check modified files

Discard types that reduce to never before discriminating by discriminable items #7778

Sign in to view logs

Discard types that reduce to never before discriminating by discriminable items

Discard types that reduce to never before discriminating by discriminable items #7778

Triggered via pull request August 11, 2025 22:20
@AndaristAndarist
opened #62275
Status Success
Total duration 12s
Artifacts –

pr-modified-files.yml

on: pull_request_target
manage-prs
6s
manage-prs
Fit to window
Zoom out
Zoom in