Skip to content
Snippets Groups Projects
Commit 41dcbbce authored by François Bobot's avatar François Bobot
Browse files

Remove E-ACSl from the list of external plugins

parent 2de214a9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 9 deletions
.gitlab-ci.yml
+ 0
− 9
View file @ 41dcbbce
...@@ -93,15 +93,6 @@ volatile: ...@@ -93,15 +93,6 @@ volatile:
tags: tags:
- nix - nix
E-ACSL:
stage: tests
variables:
OCAML: "4_05"
script:
- nix/frama-ci.sh build -A e-acsl.tests
tags:
- nix
Security: Security:
stage: tests stage: tests
variables: variables:
......
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