[libmicrohttpd] branch master updated: Hi,

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository libmicrohttpd.

The following commit(s) were added to refs/heads/master by this push:
     new b8a0f698 Hi,
b8a0f698 is described below

commit b8a0f69866a82ae186cfaba955bba5e3f8d9df3e
Author: Christian Grothoff <address@hidden>
AuthorDate: Mon Jan 27 20:37:32 2020 +0100

    Hi,
    
    I fixed an issue with the Gitlab CI.
    
    Please apply the attached patch.
    
    Regards, Tim
---
 .gitlab-ci.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0d42e9c5..cd3a58fd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -42,6 +42,7 @@ gcc/Stretch:
     - make check
   tags:
     - shared
+    - linux
   artifacts:
     expire_in: 2 weeks
     when: on_failure
@@ -66,6 +67,7 @@ Sanitizers/Stretch:
     - make check
   tags:
     - shared
+    - linux
   artifacts:
     expire_in: 2 weeks
     when: on_failure
@@ -84,6 +86,7 @@ Scan-Build/Debian:
     - scan-build -v -enable-checker security,nullability --status-bugs -o 
scan-build make check
   tags:
     - shared
+    - linux
   except:
     - tags
   artifacts:
@@ -99,6 +102,9 @@ MinGW/Debian:
     - ./bootstrap
     - ./configure $CONFIGURE_BASE_FLAGS --build=x86_64-pc-linux-gnu 
--host=$PREFIX
     - make -j$(nproc)
+  tags:
+    - shared
+    - linux
 
 dist/Stretch:
   image: $CI_REGISTRY/$BUILD_IMAGES_PROJECT:$DEBIAN_BUILD
@@ -109,6 +115,7 @@ dist/Stretch:
     - make -j$(nproc) dist
   tags:
     - shared
+    - linux
   artifacts:
     name: "$CI_COMMIT_REF_NAME-$CI_COMMIT_SHORT_SHA"
     expire_in: 2 weeks

-- 
To stop receiving notification emails like this one, please contact
address@hidden.