Fix Gitlab CI · dde79f46b5 - Forge de la Fédération FDN

Fix Gitlab CI

 + Disable temporally OCaml 4.03.0, since atdgen is not supported with this
 version of the compiler. Indeed, it leads to segfaults, see
 https://github.com/mjambon/atdgen/issues/45

Leo 9 years ago

parent

33b586812b

commit

dde79f46b5

1 changed files with 2 additions and 2 deletions

Split View Show Diff Stats

						
							+ 2
							
							- 2
						
.gitlab-ci.yml
							 
								View File
							
				@@ -11,5 +11,5 @@ ocaml_402:
			
				   script: "./gitlab-ci.sh 4.02.3"
			
				 # OCaml version 4.03
			
				-ocaml_403:
			
				-  script: "./gitlab-ci.sh 4.03.0"
			
				+#ocaml_403:
			
				+#  script: "./gitlab-ci.sh 4.03.0"