Commit a30d8be7 authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

Remove CI IDE test

The test required the --batch option which is not in this branch.
parent 7a2e2585
......@@ -38,12 +38,12 @@ bench:
variables:
COMPILER: system
script:
- misc/ci-docker.sh misc/ci-local.sh bench ide
- misc/ci-docker.sh misc/ci-local.sh bench
.bench_template: &bench_definition
stage: test
script:
- misc/ci-docker.sh misc/ci-local.sh bench ide
- misc/ci-docker.sh misc/ci-local.sh bench
only:
- tags
- schedules
......
......@@ -27,9 +27,6 @@ do
bin/why3config --detect-provers
make bench
;;
ide)
WHY3CONFIG="" xvfb-run bin/why3 ide --batch "" examples/logic/einstein.why
;;
doc)
make doc
;;
......
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