diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2018-10-18 19:14:49 +0000 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2018-10-18 19:14:49 +0000 |
commit | e5eb26c1db3fae4ebac6964797b7146e022d99cc (patch) | |
tree | 7247242a487247df8121794813ba4495ebce9330 /.gitlab-ci.yml | |
parent | e11a64ccdc06f5f316e458b9518264aff592e144 (diff) | |
parent | 4a11812d9c47213fe1d06bb7b8136901a6b26674 (diff) | |
download | gnutls-e5eb26c1db3fae4ebac6964797b7146e022d99cc.tar.gz |
Merge branch 'tmp-uris' into 'master'
pkcs11 uris: the scheme is case insensitive
Closes #590
See merge request gnutls/gnutls!616
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 06742b2069..d86bb5c17a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -506,6 +506,7 @@ Debian.x86_64: - cd .. tags: - shared + - docker except: - tags artifacts: |