Commit 963fe04a authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

Revert "Restore CI IDE test"

This reverts commit a29e5bfe.
parent a29e5bfe
...@@ -38,12 +38,12 @@ bench: ...@@ -38,12 +38,12 @@ bench:
variables: variables:
COMPILER: system COMPILER: system
script: script:
- misc/ci-docker.sh misc/ci-local.sh bench ide - misc/ci-docker.sh misc/ci-local.sh bench
.bench_template: &bench_definition .bench_template: &bench_definition
stage: test stage: test
script: script:
- misc/ci-docker.sh misc/ci-local.sh bench ide - misc/ci-docker.sh misc/ci-local.sh bench
only: only:
- tags - tags
- schedules - schedules
......
...@@ -27,9 +27,6 @@ do ...@@ -27,9 +27,6 @@ do
bin/why3config --detect-provers bin/why3config --detect-provers
make bench make bench
;; ;;
ide)
WHY3CONFIG="" xvfb-run bin/why3 ide --batch "" examples/logic/einstein.why
;;
doc) doc)
make 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