We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cfac721 commit d215dc1Copy full SHA for d215dc1
docker/action-scripts/build-utbot.sh
@@ -3,3 +3,5 @@
3
source docker/building_dependencies/runtime_env.sh
4
chmod +x build.sh
5
./build.sh
6
+rm -rf submodules/klee/build
7
+rm -rf server/build
0 commit comments