From a6ce1fc8bc6202864a07d3f5246ad9d12b0d13a7 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 30 Apr 2019 09:26:50 +0200
Subject: [PATCH] Build: use the test opam-repo for CI
---
.gitlab-ci.yml | 2 +-
test/lus2lic.sum | 26 +++++++++++++-------------
2 files changed, 14 insertions(+), 14 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7b17d962..b4923001 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ stages:
build:
stage: build
script:
- - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
+ - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
- opam update
- opam install -y camlp4 ocamlfind oasis extlib
- opam install rdbg
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index a0b81938..3d51207e 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,5 +1,5 @@
==> lus2lic0.sum <==
-Test run by jahier on Wed Apr 10 10:15:00
+Test run by jahier on Tue Apr 30 09:25:01
Native configuration is x86_64-pc-linux-gnu
=== lus2lic0 tests ===
@@ -66,7 +66,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
==> lus2lic1.sum <==
-Test run by jahier on Wed Apr 10 10:15:01
+Test run by jahier on Tue Apr 30 09:25:02
Native configuration is x86_64-pc-linux-gnu
=== lus2lic1 tests ===
@@ -409,7 +409,7 @@ PASS: sh multipar.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
==> lus2lic2.sum <==
-Test run by jahier on Wed Apr 10 10:15:27
+Test run by jahier on Tue Apr 30 09:25:25
Native configuration is x86_64-pc-linux-gnu
=== lus2lic2 tests ===
@@ -749,7 +749,7 @@ PASS: sh zzz2.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
==> lus2lic3.sum <==
-Test run by jahier on Wed Apr 10 10:15:55
+Test run by jahier on Tue Apr 30 09:25:55
Native configuration is x86_64-pc-linux-gnu
=== lus2lic3 tests ===
@@ -1259,7 +1259,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
==> lus2lic4.sum <==
-Test run by jahier on Wed Apr 10 10:16:35
+Test run by jahier on Tue Apr 30 09:26:34
Native configuration is x86_64-pc-linux-gnu
=== lus2lic4 tests ===
@@ -1777,13 +1777,13 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
===============================
# Total number of failures: 15
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 26 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 28 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 40 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 15 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 23 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 30 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 39 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 16 seconds
* Ref time:
-55.29user 23.22system 1:49.89elapsed 71%CPU (0avgtext+0avgdata 280904maxresident)k
-0inputs+143264outputs (0major+15390166minor)pagefaults 0swaps
+56.68user 19.96system 1:49.30elapsed 70%CPU (0avgtext+0avgdata 276932maxresident)k
+0inputs+143192outputs (0major+10996907minor)pagefaults 0swaps
* Quick time (-j 4):
-63.75user 25.55system 1:10.19elapsed 127%CPU (0avgtext+0avgdata 280964maxresident)k
-3936inputs+141656outputs (1major+15214675minor)pagefaults 0swaps
+63.45user 21.52system 1:09.21elapsed 122%CPU (0avgtext+0avgdata 276588maxresident)k
+1896inputs+139552outputs (0major+10753810minor)pagefaults 0swaps
--
GitLab