improving documentation deployment

.travis.publish

@@ -7,9 +7,6 @@ echo "Starting to update gh-pages"
 if [[ $TRAVIS_BRANCH == "master" && $TRAVIS_PULL_REQUEST == "false" && "$TRAVIS_OS_NAME" == "linux" && $DIST == "ubuntu-bionic" && $COMPILER == "gcc7" && $BATSCHED == "off" ]] || [[ $TRAVIS_BRANCH == "master" && $TRAVIS_PULL_REQUEST == "false" && "$TRAVIS_OS_NAME" == "linux" && $DIST == "ubuntu-bionic" && $COMPILER == "gcc7-batsched" && $BATSCHED == "on" ]]; then
 
 #copy data we're interested in to other place
-pwd
-ls -lh $HOME
-
 git config --global user.email "travis@travis-ci.org"
 git config --global user.name "Travis"
 

.travis.yml

@@ -43,7 +43,8 @@ script:
   # building wrench
   - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then
       docker exec -w /home/wrench/wrench/build -it wrench cmake -DENABLE_BATSCHED=${BATSCHED} -DCMAKE_VERBOSE_MAKEFILE=ON -DCOVERAGE=1 ..;
-      docker exec -w /home/wrench/wrench/build -it wrench make all doc-gh;
+      docker exec -w /home/wrench/wrench/build -it wrench make all unit_tests doc-gh;
+      travis_wait sleep infinity & docker exec -w /home/wrench/wrench/build -it wrench ./unit_tests;
     fi
 
 after_success:
@@ -60,7 +61,6 @@ after_success:
     fi
   - docker cp wrench:/home/wrench/wrench/docs .;
   - cp -R ./docs/gh-pages $HOME/gh-pages-to-deploy
-  - ls -lh $HOME
   - docker stop wrench;
   - docker rm wrench;
   - docker rmi wrenchproject/wrench-build:${DIST}-${COMPILER};