fix message-id

pull/304/head
VintagePC 2023-09-17 18:48:11 -04:00
parent fe354a1f51
commit 1d1d2f23ec
1 changed files with 2 additions and 1 deletions

View File

@ -68,7 +68,7 @@ jobs:
# setup base required dependencies # setup base required dependencies
- name: Setup dependencies - name: Setup dependencies
run: | run: |
sudo apt-get install gcc g++ lcov cmake ninja-build python3-pyelftools python3-regex python3-polib sudo apt-get install gcc-11 g++11 lcov cmake ninja-build python3-pyelftools python3-regex python3-polib
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- name: Checkout ${{ github.event.pull_request.head.ref }} - name: Checkout ${{ github.event.pull_request.head.ref }}
@ -126,3 +126,4 @@ jobs:
uses: mshick/add-pr-comment@v2 uses: mshick/add-pr-comment@v2
with: with:
message-path: build/Summary.txt message-path: build/Summary.txt
message-id: "coverage"