Skip to content

Commit

Permalink
Remove build folder
Browse files Browse the repository at this point in the history
  • Loading branch information
@ladisgin
ladisgin committed Sep 5, 2023
1 parent cfac721 commit d215dc1
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions docker/action-scripts/build-utbot.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,5 @@
source docker/building_dependencies/runtime_env.sh
chmod +x build.sh
./build.sh
rm -rf submodules/klee/build
rm -rf server/build

0 comments on commit d215dc1

Please sign in to comment.