Skip to content
GitHub macOS CI

Don't map_constr_relevance when not needed in subst_instance_constr #2360

Sign in to view logs

Don't map_constr_relevance when not needed in subst_instance_constr

Don't map_constr_relevance when not needed in subst_instance_constr #2360

Triggered via push September 28, 2023 15:17
@SkySkimmerSkySkimmer
pushed 239f2e5
sort-poly
Status Success
Total duration 35m 15s
Artifacts –

ci-macos.yml

on: push
macOS
35m 0s
macOS
Fit to window
Zoom out
Zoom in