Windows CI

Don't map_constr_relevance when not needed in subst_instance_constr #2198

Triggered via push September 28, 2023 15:17

SkySkimmer

sort-poly

Status Success

Total duration 1h 4m 2s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	132 MB