-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy path.gitlab-ci.yml
73 lines (68 loc) · 1.94 KB
/
.gitlab-ci.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
---
stages:
- Git Sync
- build
- integration
cache:
key: "branch-$CI_BUILD_REF_NAME"
paths:
- .git/modules
- tools/runtests/env
variables:
OPAMYES: "true"
OPAMROOT: "/tmp/opam-$CI_BUILD_ID"
mljsref:
stage: build
before_script:
- opam init -n
- opam update -u
- make init
- eval `opam config env`
script:
- make mljsref
after_script:
- rm -Rf $OPAMROOT
except:
- triggers
artifacts:
paths:
- jsref/
expire_in: 1 day
# FIXME: Packaged JS_Parser means that we now need to distribute opam instance to condor runs
condor:
before_script:
- export CI_BUILD_REF_SUBJ="$(git show --pretty=format:%s -s)"
- export TEST262_VERSION="$(git rev-parse --verify HEAD:test/data/test262)"
- git submodule update --init --force tools/runtests test/data/test262
- source tools/runtests/scripts/set-voldir.sh jsexplain
- "# OPAM initialisation"
- export OPAMROOT=$VOLDIR/.opam
- opam init -n
- opam update -u
- make init
- eval `opam config env`
- export OCAMLFIND_CONF=$OPAMROOT/$(opam switch show)/lib/findlib.conf
- "# Runtests initialisation"
- source tools/runtests/scripts/init-env.sh
- cp -R tools/runtests test/data/test262 test/data/test_prelude.js jsref/main.byte $VOLDIR
- cd $VOLDIR
script:
- 'runtests/runtests.py --interp mljsref --executor condor --batch_size 2 --condor_log --db postgres --db_pg_schema jsil --interp_version $CI_BUILD_REF --title "mljsref $CI_BUILD_REF_NAME autobuild: $CI_BUILD_REF_SUBJ" --tests_version $TEST262_VERSION --timeout 300 test262/test/suite'
- runtests/scripts/condor-wait.sh
after_script:
- "#tools/runtests/scripts/clean-voldir.sh jsexplain"
stage: integration
tags:
- condor
except:
- triggers
git-sync:
before_script:
- eval `ssh-agent`
- echo "$PUSH_KEY" | ssh-add -
script:
- git sync-remote [email protected]:jscert/jsexplain.git [email protected]:resource-reasoning/jsexplain.git
- ssh-agent -k
only:
- triggers
stage: Git Sync