diff --git a/.github/workflows/build-documentation.yml b/.github/workflows/build-documentation.yml index 94b0cce21..3bb64c35d 100644 --- a/.github/workflows/build-documentation.yml +++ b/.github/workflows/build-documentation.yml @@ -55,6 +55,8 @@ jobs: - name: Build Docs run: | make doc > make_doc_stdout.txt 2> make_doc_stderr.txt + mv build/docs/detaildesign-warnings.log detaildesign-warnings.log + # Upload documentation logs as artifacts - name: Archive Documentation Build Logs uses: actions/upload-artifact@v2 @@ -63,6 +65,8 @@ jobs: path: | make_doc_stdout.txt make_doc_stderr.txt + detaildesign-warnings.log + - name: Error Check run: | if [[ -s make_doc_stderr.txt ]]; then @@ -70,6 +74,13 @@ jobs: exit -1 fi + - name: Warning Check + run: | + if [[ -s detaildesign-warnings.log ]]; then + cat detaildesign-warnings.log + exit -1 + fi + build: needs: checks-for-duplicates if: ${{ needs.checks-for-duplicates.outputs.should_skip != 'true' }} @@ -143,7 +154,8 @@ jobs: - name: Build Usersguide run: | make usersguide > make_usersguide_stdout.txt 2> make_usersguide_stderr.txt - + mv build/docs/users_guide/cfe-usersguide-warnings.log cfe-usersguide-warnings.log + - name: Archive Users Guide Build Logs uses: actions/upload-artifact@v2 with: