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