-
Sylvain Dailler authored
Introduce a record type instead of large tuple for queue of scheduled proof attempts Change-Id: If4d4284a78d5d828bb06705f2628ea341d7a1d64 (cherry picked from commit 1070b12841adc076ba67193722b250c81a1a697c)
8f5782a9
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
Introduce a record type instead of large tuple for queue of scheduled proof attempts Change-Id: If4d4284a78d5d828bb06705f2628ea341d7a1d64 (cherry picked from commit 1070b12841adc076ba67193722b250c81a1a697c)