@@ -4,12 +4,21 @@ FROM node:lts
4
4
ENV target_root_directory=
5
5
ENV include=
6
6
ENV preset=
7
+ ENV time=
7
8
8
9
# clone the repos
9
10
WORKDIR /app/
10
11
# Replace by the fork
11
- RUN git clone https://github.com/syntest-framework/syntest-core.git
12
+ RUN git clone https://github.com/syntest-framework/syntest-core.git
13
+ WORKDIR /app/syntest-core
14
+ RUN git fetch
15
+ RUN git checkout experiment-javascript
16
+ WORKDIR /app/
12
17
RUN git clone https://github.com/syntest-framework/syntest-javascript.git
18
+ WORKDIR /app/syntest-javascript
19
+ RUN git fetch
20
+ RUN git checkout improve-type-inference-model
21
+ WORKDIR /app/
13
22
RUN git clone https://github.com/syntest-framework/syntest-javascript-benchmark.git
14
23
15
24
# Install and build core
@@ -34,4 +43,4 @@ RUN npm install
34
43
35
44
WORKDIR /app/syntest-javascript-benchmark
36
45
37
- CMD npx syntest javascript test --target-root-directory=${target_root_directory} --include=${include} --preset=${preset}
46
+ CMD timeout -k 25m 25m npx syntest javascript test --target-root-directory=${target_root_directory} --include=${include} --preset=${preset} --total-time=${time }
0 commit comments