Commit d8d1af81 authored by Tomáš Sušovský's avatar Tomáš Sušovský
Browse files

update system image to fedora 32 with llvm 9

parent 0cd0a2fa

.gitlab-ci.yml

+1 −1
Original line number Diff line number Diff line 
image: fedora:29

image: fedora:32



before_script:

  - dnf -yq install make cmake git llvm llvm-devel llvm-libs clang z3 z3-devel z3-libs jq zip lcov