]> 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: 183db47)
Update .github/workflows/indent.yml 10773/head
authorTimo Heister <timo.heister@gmail.com>
Fri, 31 Jul 2020 15:25:28 +0000 (11:25 -0400)
committerGitHub <noreply@github.com>
Fri, 31 Jul 2020 15:25:28 +0000 (11:25 -0400)
Co-authored-by: Daniel Arndt <arndtd@ornl.gov>
.github/workflows/indent.yml patch | blob | history

diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml
index 0b7d6f5585327303adcb183ce92ccc28760e059d..3fb72f80f57df8507059e072f7e52b921a1fe26b 100644 (file)
--- a/.github/workflows/indent.yml
+++ b/.github/workflows/indent.yml
@@ -12,7 +12,7 @@ jobs:
     steps:
     - uses: actions/checkout@v2
       with:
-        fetch-depth: 0
+        fetch-depth: 100
     - 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.