GitLab

There was a typo in the list of stages that are tagged as pipelines

One of them was always kept as pending.

Signed-off-by: Raphael Defosseux raphael.defosseux@eurecom.fr