Skip to content

Widen skolem types when adding parent refinements #20506

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #20506

Triggered via pull request January 31, 2025 13:29
Status Success
Total duration 12m 2s
Artifacts

cla.yml

on: pull_request
Fit to window
Zoom out
Zoom in