fix output?

conjure-cp · Nov 1, 2023 · e20cbeb · e20cbeb
1 parent 76d5a5f
commit e20cbeb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/doc-coverage.yml b/.github/workflows/doc-coverage.yml
@@ -33,7 +33,7 @@ jobs:
  working-directory: ./solvers/minion
  run: |
  echo '```' >> $GITHUB_STEP_SUMMARY
- RUSTDOCFLAGS='-Z unstable-options --show-coverage' cargo doc | tee /dev/fd/1 >> $GITHUB_STEP_SUMMARY
+ RUSTDOCFLAGS='-Z unstable-options --show-coverage' cargo doc | tee -a /dev/fd/1 >> $GITHUB_STEP_SUMMARY
  echo '```' >> $GITHUB_STEP_SUMMARY
 
  chuffed:
@@ -68,7 +68,7 @@ jobs:
  working-directory: ./solvers/chuffed
  run: |
  echo '```' >> $GITHUB_STEP_SUMMARY
- RUSTDOCFLAGS='-Z unstable-options --show-coverage' cargo doc | tee /dev/fd/1 >> $GITHUB_STEP_SUMMARY
+ RUSTDOCFLAGS='-Z unstable-options --show-coverage' cargo doc | tee -a /dev/fd/1 >> $GITHUB_STEP_SUMMARY
  echo '```' >> $GITHUB_STEP_SUMMARY
 
  conjure-oxide:
@@ -96,5 +96,5 @@ jobs:
  - name: Coverage Report
  run: |
  echo '```' >> $GITHUB_STEP_SUMMARY
- RUSTDOCFLAGS='-Z unstable-options --show-coverage' cargo doc | tee /dev/fd/1 >> $GITHUB_STEP_SUMMARY
+ RUSTDOCFLAGS='-Z unstable-options --show-coverage' cargo doc | tee -a /dev/fd/1 >> $GITHUB_STEP_SUMMARY
  echo '```' >> $GITHUB_STEP_SUMMARY