Avoid extract set red
Ensure we do not extract when the vector is actually full of the same value. But this can only be done if it is not followed by merge (otherwise the duplicate value will pollute the merge)
Git-LFS is now available on our GitLab instance.
Please note that the quota check is now in blocking mode. More informations about quotas: https://gitlab.inria.fr/siteadmin/doc/-/wikis/faq#quota-management-policy-to-monitor-disk-space-by-project-on-gitlab
GitLab upgrade completed. Current version is 17.8.2.
Ensure we do not extract when the vector is actually full of the same value. But this can only be done if it is not followed by merge (otherwise the duplicate value will pollute the merge)