Skip to content

Commit

Permalink
Remove build directory in action script (#632)
Browse files Browse the repository at this point in the history
* Remove build folder
  • Loading branch information
ladisgin authored Sep 5, 2023
1 parent cfac721 commit 6dca561
Show file tree
Hide file tree
Showing 4 changed files with 14 additions and 7 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/build-utbot.yml
Original file line number Diff line number Diff line change
Expand Up @@ -86,8 +86,8 @@ jobs:
run: |
export VERSION=$(date '+%Y.%m').$GITHUB_RUN_NUMBER
export RUN_INFO=$GITHUB_SERVER_URL/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID
chmod +x docker/action-scripts/build-utbot.sh
./docker/action-scripts/build-utbot.sh
chmod +x docker/action-scripts/build-clean-utbot.sh
./docker/action-scripts/build-clean-utbot.sh
- name: Run Integration Tests
run: |
chmod +x docker/action-scripts/build-vsix.sh
Expand Down Expand Up @@ -137,8 +137,8 @@ jobs:

- name: Build UTBot
run: |
chmod +x docker/action-scripts/build-utbot.sh
./docker/action-scripts/build-utbot.sh
chmod +x docker/action-scripts/build-clean-utbot.sh
./docker/action-scripts/build-clean-utbot.sh
- name: Generate tests
run: |
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/publish-utbot.yml
Original file line number Diff line number Diff line change
Expand Up @@ -77,8 +77,8 @@ jobs:
./docker/action-scripts/build-clion-plugin.sh
- name: build UTBot
run: |
chmod +x docker/action-scripts/build-utbot.sh
./docker/action-scripts/build-utbot.sh
chmod +x docker/action-scripts/build-clean-utbot.sh
./docker/action-scripts/build-clean-utbot.sh
shell: bash
- name: prepare UTBot release for Ubuntu
run: |
Expand Down
7 changes: 7 additions & 0 deletions docker/action-scripts/build-clean-utbot.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
#!/bin/bash

chmod +x docker/action-scripts/build-utbot.sh
docker/action-scripts/build-utbot.sh

rm -rf submodules/klee/build
rm -rf server/build
2 changes: 1 addition & 1 deletion vscode-plugin/src/test/run.sh
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ echo "VSCODE_VERSION_DIR=$VSCODE_VERSION_DIR"
export DISPLAY=':99.0'
Xvfb :99 -screen 0 1024x768x24 > /dev/null 2>&1 &

$PROJECT_DIR/server/build/utbot server > /dev/null 2>&1 &
$UTBOT_ALL/server-install/utbot server > /dev/null 2>&1 &

#Executing the test suite
#TODO: fetch workspace folders automatically from .vscode/launch.json
Expand Down

0 comments on commit 6dca561

Please sign in to comment.