Skip to content
Add to backporting project

Widen skolem types when adding parent refinements (#22488) #1127

Sign in to view logs

Widen skolem types when adding parent refinements (#22488)

Widen skolem types when adding parent refinements (#22488) #1127

Triggered via push February 6, 2025 10:00
@KacperFKorbanKacperFKorban
pushed ddb4bd1
main
Status Success
Total duration 59s
Artifacts –

lts-backport.yaml

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