]> 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: 9297d75)
Fix indentation CI 11264/head
authorPeter Munch <peterrmuench@gmail.com>
Fri, 27 Nov 2020 08:48:52 +0000 (09:48 +0100)
committerPeter Munch <peterrmuench@gmail.com>
Fri, 27 Nov 2020 09:04:35 +0000 (10:04 +0100)
.github/workflows/indent.yml patch | blob | history

diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml
index 38de0e1aff23c839680327469092f5d0dc2c6ff0..be63f4b8ec63bc2bec59476d4259877f599d50c1 100644 (file)
--- a/.github/workflows/indent.yml
+++ b/.github/workflows/indent.yml
@@ -16,7 +16,7 @@ jobs:
     - name: setup
       run: |
         ./contrib/utilities/download_clang_format
-        sudo apt-get install doxygen graphviz perl texlive-bibtex-extra
+        sudo apt update && sudo apt install doxygen graphviz perl texlive-bibtex-extra
         doxygen --version
     - name: indent
       run: |
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.