File tree Expand file tree Collapse file tree 4 files changed +14
-7
lines changed Expand file tree Collapse file tree 4 files changed +14
-7
lines changed Original file line number Diff line number Diff line change 86
86
run : |
87
87
export VERSION=$(date '+%Y.%m').$GITHUB_RUN_NUMBER
88
88
export RUN_INFO=$GITHUB_SERVER_URL/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID
89
- chmod +x docker/action-scripts/build-utbot.sh
90
- ./docker/action-scripts/build-utbot.sh
89
+ chmod +x docker/action-scripts/build-clean- utbot.sh
90
+ ./docker/action-scripts/build-clean- utbot.sh
91
91
- name : Run Integration Tests
92
92
run : |
93
93
chmod +x docker/action-scripts/build-vsix.sh
@@ -137,8 +137,8 @@ jobs:
137
137
138
138
- name : Build UTBot
139
139
run : |
140
- chmod +x docker/action-scripts/build-utbot.sh
141
- ./docker/action-scripts/build-utbot.sh
140
+ chmod +x docker/action-scripts/build-clean- utbot.sh
141
+ ./docker/action-scripts/build-clean- utbot.sh
142
142
143
143
- name : Generate tests
144
144
run : |
Original file line number Diff line number Diff line change 77
77
./docker/action-scripts/build-clion-plugin.sh
78
78
- name : build UTBot
79
79
run : |
80
- chmod +x docker/action-scripts/build-utbot.sh
81
- ./docker/action-scripts/build-utbot.sh
80
+ chmod +x docker/action-scripts/build-clean- utbot.sh
81
+ ./docker/action-scripts/build-clean- utbot.sh
82
82
shell : bash
83
83
- name : prepare UTBot release for Ubuntu
84
84
run : |
Original file line number Diff line number Diff line change
1
+ #! /bin/bash
2
+
3
+ chmod +x docker/action-scripts/build-utbot.sh
4
+ docker/action-scripts/build-utbot.sh
5
+
6
+ rm -rf submodules/klee/build
7
+ rm -rf server/build
Original file line number Diff line number Diff line change @@ -14,7 +14,7 @@ echo "VSCODE_VERSION_DIR=$VSCODE_VERSION_DIR"
14
14
export DISPLAY=' :99.0'
15
15
Xvfb :99 -screen 0 1024x768x24 > /dev/null 2>&1 &
16
16
17
- $PROJECT_DIR /server/build /utbot server > /dev/null 2>&1 &
17
+ $UTBOT_ALL /server-install /utbot server > /dev/null 2>&1 &
18
18
19
19
# Executing the test suite
20
20
# TODO: fetch workspace folders automatically from .vscode/launch.json
You can’t perform that action at this time.
0 commit comments