"drivers/cvc4-realize.drv" did not exist on "04eed327658764f3f11aaf9f7456b288d49fb30b"
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/