diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index b113e2d..2729525 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -273,6 +273,7 @@ jobs: --enforce - name: Generate Developer Guide HTML with Pandoc + shell: bash run: > dotnet pandoc docs/guide/title.txt @@ -289,6 +290,7 @@ jobs: "docs/TestResults Developer Guide.pdf" - name: Generate Requirements HTML with Pandoc + shell: bash run: > dotnet pandoc docs/requirements/title.txt @@ -304,6 +306,7 @@ jobs: "docs/TestResults Requirements.pdf" - name: Generate Trace Matrix HTML with Pandoc + shell: bash run: > dotnet pandoc docs/tracematrix/title.txt @@ -327,6 +330,7 @@ jobs: --report-depth 1 - name: Display CodeQL Quality Report + shell: bash run: | echo "=== CodeQL Quality Report ===" cat docs/quality/codeql-quality.md @@ -344,11 +348,13 @@ jobs: --report-depth 1 - name: Display SonarCloud Quality Report + shell: bash run: | echo "=== SonarCloud Quality Report ===" cat docs/quality/sonar-quality.md - name: Generate Code Quality HTML with Pandoc + shell: bash run: > dotnet pandoc docs/quality/title.txt