You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Dec 4, 2025. It is now read-only.
Copy file name to clipboardExpand all lines: .github/workflows/build-and-run-example-project.yml
+38-2Lines changed: 38 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -13,7 +13,6 @@ env:
13
13
14
14
jobs:
15
15
build:
16
-
if: ${{ github.repository == 'TongchengOpenSource/smart-doc' && github.event.pull_request.changed_files > 0 }} # Run this job only if there are file changes
Copy file name to clipboardExpand all lines: .github/workflows/pr-comment.yml
+5-7Lines changed: 5 additions & 7 deletions
Original file line number
Diff line number
Diff line change
@@ -11,15 +11,13 @@ jobs:
11
11
pull-requests: write
12
12
name: Say thanks for the PR and hint to document
13
13
steps:
14
-
- name: comment on the pull request
15
-
uses: hasura/comment-progress@v2.3.0
14
+
- name: Comment on the pull request
15
+
uses: peter-evans/create-or-update-comment@v4
16
16
with:
17
-
github-token: ${{ secrets.GITHUB_TOKEN }}
17
+
token: ${{ secrets.GITHUB_TOKEN }}
18
18
repository: ${{ github.repository }}
19
-
number: ${{ github.event.number }}
20
-
id: thanks-and-hint-to-document
21
-
recreate: true
22
-
message: |
19
+
issue-number: ${{ github.event.number }}
20
+
body: |
23
21
Thanks for your this PR. :pray:
24
22
Please check again for your PR changes whether contains any usage configuration change such as `Add new configuration`, `Change default value of configuration`.
25
23
If so, please add or update documents(markdown type) in `docs/` for repository [smart-doc-group/smart-doc-group.github.io](https://github.com/smart-doc-group/smart-doc-group.github.io/tree/master/docs)
0 commit comments