diff options
| author | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2017-05-16 13:14:46 +0200 |
|---|---|---|
| committer | Niels Möller <nisse@lysator.liu.se> | 2017-05-16 21:51:02 +0200 |
| commit | cfeb2bbf02d12f534a45a8f20e309c4e5ddce384 (patch) | |
| tree | 4165f40fc61746a0479ddee74539ec0b571b8340 /.gitlab-ci.yml | |
| parent | 814929446a4ae92d488d124c5309de64909596f1 (diff) | |
| download | nettle-cfeb2bbf02d12f534a45a8f20e309c4e5ddce384.tar.gz | |
.gitlab-ci.yml: ubsan use fedora25
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 412ed38e..6fa98985 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 && |