| Message ID | 20220114104231.28338-1-pvorel@suse.cz |
|---|---|
| State | Accepted |
| Headers | show |
| Series | [1/1] ci/wiki-mirror: Don't check path | expand |
Hi! > Because it's checked only from latest commit, > thus wiki does not get updated when doc change is in the latest commit > of the patchset. Looking at the file we will only do a commit when there is a diff, so this only runs a few more commands in the CI in the case that there are no changes and the end result is same. Looks good: Reviewed-by: Cyril Hrubis <chrubis@suse.cz>
Hi all, > Hi! > > Because it's checked only from latest commit, > > thus wiki does not get updated when doc change is in the latest commit > > of the patchset. > Looking at the file we will only do a commit when there is a diff, so > this only runs a few more commands in the CI in the case that there are > no changes and the end result is same. > Looks good: > Reviewed-by: Cyril Hrubis <chrubis@suse.cz> Thanks. Merged, but unfortunately it didn't help. I guess the problem is with if: ${{ github.event.pull_request.head.repo.full_name == 'linux-test-project/ltp' }} I need more time to investigate, thus updating wiki manually. Kind regards, Petr
diff --git a/.github/workflows/wiki-mirror.yml b/.github/workflows/wiki-mirror.yml index d138f8f226..302667255b 100644 --- a/.github/workflows/wiki-mirror.yml +++ b/.github/workflows/wiki-mirror.yml @@ -7,8 +7,6 @@ on: push: branches: - master - paths: - - 'doc/**' jobs: mirror:
Because it's checked only from latest commit, thus wiki does not get updated when doc change is in the latest commit of the patchset. Reported-by: Yang Xu <xuyang2018.jy@fujitsu.com> Signed-off-by: Petr Vorel <pvorel@suse.cz> --- .github/workflows/wiki-mirror.yml | 2 -- 1 file changed, 2 deletions(-)