[Libre-soc-dev] GitLab-CI fixes

[Jonathan Neuschäfer]

On Tue, May 04, 2021 at 06:50:52PM +0200, Jonathan Neuschäfer wrote:
> I tested on gitlab.com (until I ran out of my monthly free allowance
> of 300 minutes) and a private GitLab instance.

Apparently gitlab.com is still running my build jobs, even though it
says I should be out of machine time very soon now. You can find the
results by clicking on the red (x) symbol next to commits here:

	https://gitlab.com/neuschaefer/soc/-/commits/master


Jonathan