diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 412ed38e0b3408f138e6ae050935d30a93ee3651..6fa98985dc54ee8927f1f239b968c6e9755362ce 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -34,7 +34,7 @@ Build and Check with mini-gmp: except: - tags Build and Check with ubsan: - image: fedora:24 + image: fedora:25 script: - yum install -y gmp-devel libubsan-static libubsan - ./.bootstrap &&