Commit 837bd038 authored by Michael Sammler's avatar Michael Sammler
Browse files

remove constraints on z3 in gitlab-ci.yml

parent 1814ae85
Pipeline #53948 passed with stage
in 27 minutes and 18 seconds