Mettre à jour web2py

Ici : https://gitlab.inria.fr/vidjil/vidjil/-/jobs/270146 (branche tirée de dev). Alors qu'ils passaient il y a 3 jours sur dev, sur le même commit : https://gitlab.inria.fr/vidjil/vidjil/-/jobs/267019

Une modification dans web2py ?