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

[ci] format

parent dece8a44
No related branches found
No related tags found
No related merge requests found
...@@ -18,8 +18,6 @@ default: ...@@ -18,8 +18,6 @@ default:
variables: variables:
DEFAULT: "feature/bobot/jbuilder" DEFAULT: "feature/bobot/jbuilder"
OCAML: "4_12" OCAML: "4_12"
# CURRENT: $CI_COMMIT_REF_NAME
# FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
################################################################################ ################################################################################
### BUILD ### BUILD
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment