Skip to content
Back to pull request #18043

Fix match type reduction with avoided types #13253

Sign in to view logs

Fix match type reduction with avoided types

Fix match type reduction with avoided types #13253

Triggered via pull request June 28, 2023 13:25
@dwijnanddwijnand
synchronize #18043
dwijnand:mt/skolem
Status Success
Total duration 21s
Artifacts –

cla.yml

on: pull_request
check
11s
check
Fit to window
Zoom out
Zoom in