MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

  • Sylvain Dailler's avatar
    Json file to Json_base for compatibility with js_of_ocaml. · a478fd6d
    Sylvain Dailler authored
    Entry in Makefile to compile ocaml code to js (like trywhy3).
    Put why3webserver parsing/printing into Json_util.
    Split Itp_server into Itp_communication and Itp_server to isolate
    notification and request from the rest in an attempt to reduce
    dependencies.
    a478fd6d
itp_server.ml 32.9 KB