Skip to content
Add to backporting project

Refinements to skolemizaton (#23513) #1506

Sign in to view logs

Refinements to skolemizaton (#23513)

Refinements to skolemizaton (#23513) #1506

Triggered via push July 15, 2025 14:13
@oderskyodersky
pushed 3c30c22
main
Status Success
Total duration 45s
Artifacts –

lts-backport.yaml

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