Update add-pr-comment to version v2.8.2
parent
df97d70d8e
commit
6ca0d650da
|
|
@ -122,7 +122,7 @@ jobs:
|
||||||
|
|
||||||
- name: Add PR Comment
|
- name: Add PR Comment
|
||||||
if: ${{ github.event.pull_request }}
|
if: ${{ github.event.pull_request }}
|
||||||
uses: mshick/add-pr-comment@v2
|
uses: mshick/add-pr-comment@v2.8.2
|
||||||
with:
|
with:
|
||||||
message-path: build/Summary.txt
|
message-path: build/Summary.txt
|
||||||
message-id: "coverage"
|
message-id: "coverage"
|
||||||
|
|
|
||||||
|
|
@ -74,6 +74,6 @@ jobs:
|
||||||
./build-base/pr-size.sh build-changes build-base build-pr
|
./build-base/pr-size.sh build-changes build-base build-pr
|
||||||
|
|
||||||
- name: Add PR Comment
|
- name: Add PR Comment
|
||||||
uses: mshick/add-pr-comment@v2
|
uses: mshick/add-pr-comment@v2.8.2
|
||||||
with:
|
with:
|
||||||
message-path: build-changes
|
message-path: build-changes
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue