diff options
author | Matias Elo <matias.elo@nokia.com> | 2022-07-27 08:57:16 +0300 |
---|---|---|
committer | Matias Elo <matias.elo@nokia.com> | 2022-07-27 11:53:28 +0300 |
commit | 859753053c47dc3c9e2e6646f47788094d7aed28 (patch) | |
tree | a977c8def9946753a52927cb5f408cdf1e57b636 /.github | |
parent | 3b5cec3c4eaa4731f49d6cd83aa185aefd3dbb8d (diff) |
github_ci: update checkpatch-action version
Update checkpatch-action to v8 to fix failures caused by dubious ownership
in git repository. The issue was caused by GitHub workspace directory being
owned by UID 1001 and the checkpatch-action using UID 0. checkpatch-action
v8 adds the necessary git security exception ('safe.directory') to avoid
the failure.
Signed-off-by: Matias Elo <matias.elo@nokia.com>
Reviewed-by: Janne Peltonen <janne.peltonen@nokia.com>
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci-pipeline.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci-pipeline.yml b/.github/workflows/ci-pipeline.yml index b84bba470..ead38620a 100644 --- a/.github/workflows/ci-pipeline.yml +++ b/.github/workflows/ci-pipeline.yml @@ -24,7 +24,7 @@ jobs: if: github.event_name == 'pull_request' env: CHECKPATCH_COMMAND: ./scripts/checkpatch.pl - uses: webispy/checkpatch-action@v7 + uses: webispy/checkpatch-action@v8 - name: Check push if: github.event_name == 'push' && github.ref != 'refs/heads/master' |