Skip to content
Snippets Groups Projects
Commit 32eeb1d1 authored by Rémy Huet's avatar Rémy Huet :computer:
Browse files

Merge branch 'dev-ci' into 'master' 

Correction d'un bug en cas de pipelines concurrentes

See merge request !39
parents 7182cd89 6f268c8e
No related branches found
No related tags found
1 merge request!39Correction d'un bug en cas de pipelines concurrentes
Pipeline #41794 passed
Stage: metabuild
Stage: build
Stage: static_tests
Stage: dynamic_tests
Stage: deployment