Re: gitlab-ci: Only build /staging branch?

[Thomas Huth]

On 24/03/2021 22.58, Philippe Mathieu-Daudé wrote:
> On 3/24/21 7:33 PM, Philippe Mathieu-Daudé wrote:
> > On 3/24/21 7:01 PM, Philippe Mathieu-Daudé wrote:
> > > Hi,
> > >
> > > Peter's current workflow is push to /staging and if his
> > > testing succeeds, he pushes the same commit as /master.
> > >
> > > IMO there is no point in building /master branch, as it
> > > has already been built earlier as /staging.
>
> Similarly with tags. Although we don't tag often.

Tags are used for pull-requests. So I think we should run the whole CI for 
tags, to make it clear that a pull-request always includes code that builds 
fine.

 Thomas