Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 673f63e0 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Change a version of OCaml.

parent f27c4a36
Pipeline #178841 passed with stages
in 26 seconds
...@@ -116,7 +116,7 @@ VERSIONS := \ ...@@ -116,7 +116,7 @@ VERSIONS := \
4.09.1 \ 4.09.1 \
4.09.0+bytecode-only \ 4.09.0+bytecode-only \
4.10.0 \ 4.10.0 \
4.11.0 \ 4.11.1 \
.PHONY: versions .PHONY: versions
versions: versions:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment