Re: [PATCH v2 5/5] ci: add support for GitLab CI

From: Phillip Wood <phillip.wood123@gmail.com>
Date: Oct 29, 2023, 16:13 UTC
Message-ID: <8db10489-546d-428d-9b3e-7ecea87e1313@gmail.com>
In-Reply-To: <6ee43015-1abc-4269-b710-0647ce80d7a2@crinan.ddns.net>

Hi Patrick

On 27/10/2023 14:02, Phillip Wood wrote:

Show 11 quoted lines

> On 27/10/2023 12:57, Patrick Steinhardt wrote:
>> Hum. After having a look at `ci/run-docker-build.sh` I don't feel like
>> it's sensible to update it. It's not even used anymore by our CI but
>> only by `ci/run-docker.sh`, which seems to be more of a developer-facing
>> script?
>>
>> As you said, this smells like rotting bits that might rather be removed.
>> But in any case, as they don't relate to our current CI infrastructure
>> except for being in "ci/" I'll leave them be for now.
> 
> I was trying to suggest that we start using these scripts again.

Having taken a closer look I think we'd be better off adding something like

   # Ensure the build and tests run as an unprivileged user
   if test "$(id -u)" -eq 0
   then
       useradd --home-dir "$(pwd)" builder
       chown -R builder .
       exec sudo --preserve-env --set-home --user=builder "$0"
   fi

To the beginning of ci/run-build-and-tests.sh.

Best Wishes

Phillip