Skip to content
Add to backporting project

Fix #23194: Try to handle SkolemTypes in SingletonTypeTree during pic… #1381

Sign in to view logs

Fix #23194: Try to handle SkolemTypes in SingletonTypeTree during pic…

Fix #23194: Try to handle SkolemTypes in SingletonTypeTree during pic… #1381

Triggered via push May 23, 2025 12:12
@LinyxusLinyxus
pushed 4dc7db7
main
Status Success
Total duration 46s
Artifacts –

lts-backport.yaml

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