Gitlab ci

[hiergaut]

Update gitlab ci to work with full pipeline

[hiergaut]

Ready for review.

[nmellado]

I missed the fact that we had a gitlab ci pipeline on the repo.
As this cannot be tested on GitHub, I am afraid that this file could drift slowly to death without nobody notify it. So I suggest to remove it (but keep the associated bug fixes that make sense).

[hiergaut]

I can guarantee the maintenance of this file throughout the life of the project. The ci on gitlab server will later guarantee support on various other platforms offered by github. We can add runners to github but we'll have to pay for dedicated servers (virtual machines) to benefit from them. Having at least 2 different CIs on this project allows people who want to use the software to choose according to their preferences. For example, a fork from a research project with a gitlab server. I think it's a good idea to keep this file in the project to make life easier for contributors. Let's discuss AFK.

[nmellado]

ok 👍
But in that case we need a gitlab project with automatic mirroring from this one.
https://docs.gitlab.com/ee/user/project/repository/mirror/

[hiergaut]

Thx, I will look at it.

[hiergaut]

I'll draft this PR until gitlab mirror proposal.

[hiergaut]

Current works on gitlab.com using local runners.
Auto mirroring imply to create deploy ssh key by the github owner.
We have to discuss about the location of gitlab repository in the www.