]> https://gitweb.dealii.org/ - dealii.git/commitdiff
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

index 0b7d6f5585327303adcb183ce92ccc28760e059d..3fb72f80f57df8507059e072f7e52b921a1fe26b 100644 (file)
@@ -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

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.