Re: [xenomai-images][RFC][PATCH] ci: Switch to Google nameserver

2021-08-10 Thread Jan Kiszka via Xenomai
On 06.08.21 10:50, Jan Kiszka via Xenomai wrote: > On 02.08.21 17:43, Jan Kiszka via Xenomai wrote: >> From: Jan Kiszka >> >> This is a temporary hack: Our AWS runners see a lot of DNS errors for >> deb.debian.org. Let's see if they are less with this server. >> >> Signed-off-by: Jan Kiszka >>

Re: [xenomai-images][RFC][PATCH] ci: Switch to Google nameserver

2021-08-06 Thread Jan Kiszka via Xenomai
On 02.08.21 17:43, Jan Kiszka via Xenomai wrote: > From: Jan Kiszka > > This is a temporary hack: Our AWS runners see a lot of DNS errors for > deb.debian.org. Let's see if they are less with this server. > > Signed-off-by: Jan Kiszka > --- > > Seems to work, though only one run passed so

[xenomai-images][RFC][PATCH] ci: Switch to Google nameserver

2021-08-02 Thread Jan Kiszka via Xenomai
From: Jan Kiszka This is a temporary hack: Our AWS runners see a lot of DNS errors for deb.debian.org. Let's see if they are less with this server. Signed-off-by: Jan Kiszka --- Seems to work, though only one run passed so far. Go this way for now? ci/gitlab-ci-base.yml | 1 + 1 file