]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a6e0cd0)
CI: change git depth for indent worker
authorTimo Heister <timo.heister@gmail.com>
Fri, 31 Jul 2020 14:11:00 +0000 (10:11 -0400)
committerTimo Heister <timo.heister@gmail.com>
Fri, 31 Jul 2020 14:27:44 +0000 (10:27 -0400)
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.

.github/workflows/indent.yml patch | blob | history

diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml
index 0e0cf462697ca6b77d60c7d6d91ebcdc8294e280..0b7d6f5585327303adcb183ce92ccc28760e059d 100644 (file)
--- 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
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.