Get exit status of building docs

emilydolson · Mar 4, 2021 · d85090a · d85090a
1 parent 8dcd54e
commit d85090a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -82,7 +82,7 @@ jobs:
       - uses: docker-practice/actions-setup-docker@v1
       - run: docker build -t devosoft/empirical .
       - run: docker ps -a
-      - run: sudo docker run devosoft/empirical /bin/bash -c "cd /opt/Empirical/doc && make html coverage | ./headtail.sh"
+      - run: sudo docker run devosoft/empirical /bin/bash -c "cd /opt/Empirical/doc && make html coverage"
   deploy-dockerhub:
     name: Deploy to DockerHub
     runs-on: ubuntu-latest