Merge branch 'tmp-updated-builders' into 'master'

.gitlab-ci.yml: updated builders to latest used by gnutls

Closes #6

See merge request !7
10 jobs for master in 44 minutes and 57 seconds
Status Job ID Name Coverage
  Test
passed #141882905
shared docker
MinGW32

00:04:53

passed #141882903
shared
asan

00:04:44

passed #141882902
shared
clang

00:04:04

passed #141882906
shared
gnutls

00:44:56

passed #141882908
shared
pages

00:03:50

passed #141882907
shared
static-analyzers

00:06:36

passed #141882904
shared
ubsan

00:03:54

passed #141882901
shared docker
x86

00:01:52

passed #141882900
shared
x86-64

00:04:50

 
  Deploy
failed pages:deploy

00:00:00