benchmark-releases.py: comparer avec le HEAD courant
Suite à #3916 (closed).
https://gitlab.inria.fr/vidjil/vidjil/-/jobs/518496 : intéressant, mais on n'a pas la comparaison avec le HEAD, car il ne prend que ce qui est public.
Suite à #3916 (closed).
https://gitlab.inria.fr/vidjil/vidjil/-/jobs/518496 : intéressant, mais on n'a pas la comparaison avec le HEAD, car il ne prend que ce qui est public.