Skip to content
Snippets Groups Projects
Commit dffe5306 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ci] 4.11 and 4.13 disabled (timeout)

parent ebed347a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 9 additions and 9 deletions
.gitlab-ci.yml
+ 9
− 9
View file @ dffe5306
......@@ -173,15 +173,15 @@ manuals: # TODO: restore doc companions
tags:
- nix
frama-c-ocaml-4.11:
variables:
OCAML: "4_11"
<<: *frama-c-ocaml
frama-c-ocaml-4.13:
variables:
OCAML: "4_13"
<<: *frama-c-ocaml
# frama-c-ocaml-4.11:
# variables:
# OCAML: "4_11"
# <<: *frama-c-ocaml
# frama-c-ocaml-4.13:
# variables:
# OCAML: "4_13"
# <<: *frama-c-ocaml
################################################################################
### PUBLIC
......
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