Gitlab upgrade to latest version (15.10.1) is complete. Have a nice day!
EPFL CS550 - Formal Verification