From: Timo Heister Date: Fri, 31 Jul 2020 14:11:00 +0000 (-0400) Subject: CI: change git depth for indent worker X-Git-Tag: v9.3.0-rc1~1229^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=183db476e2a70a85025a8830c9e99f513f103ec8;p=dealii.git CI: change git depth for indent worker By default, github actions do a git clone with depth=1. That does not allow our indent script to check the commits for authorship correctly. --- diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml index 0e0cf46269..0b7d6f5585 100644 --- a/.github/workflows/indent.yml +++ b/.github/workflows/indent.yml @@ -11,6 +11,8 @@ jobs: steps: - uses: actions/checkout@v2 + with: + fetch-depth: 0 - name: setup run: | ./contrib/utilities/download_clang_format