Fix attempt 5

pull/338/head
3d-gussner 2024-12-23 17:59:57 +01:00
parent 4d51271a56
commit 31a7092160
1 changed files with 1 additions and 1 deletions

View File

@ -135,7 +135,7 @@ jobs:
if: ${{ github.event.pull_request }} if: ${{ github.event.pull_request }}
uses: mshick/add-pr-comment@v2.8.2 uses: mshick/add-pr-comment@v2.8.2
with: with:
message-path: build/Summary.txt message-path: Summary.txt
message-id: "coverage" message-id: "coverage"
- name: Report failure - name: Report failure