]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Update indent worker to ubuntu-24.04. 17746/head
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 4 Oct 2024 10:18:01 +0000 (12:18 +0200)
committerMarc Fehling <mafehling.git@gmail.com>
Fri, 4 Oct 2024 10:36:25 +0000 (12:36 +0200)
.github/workflows/indent.yml

index 01635b9ec74c3cee58909ada33bd5c5d20e9acea..88cdbb0c0d374653ebc66112321de185517ccdca 100644 (file)
@@ -14,7 +14,7 @@ jobs:
     # run the indent checks
 
     name: indent
-    runs-on: [ubuntu-22.04]
+    runs-on: [ubuntu-24.04]
 
     steps:
     - uses: actions/checkout@v4
@@ -31,16 +31,14 @@ jobs:
     # build the documentation
 
     name: doxygen
-    runs-on: [ubuntu-22.04]
+    runs-on: [ubuntu-24.04]
 
     steps:
     - name: setup
       run: |
         sudo apt update
-        sudo apt install graphviz perl texlive-bibtex-extra
-    - uses: ssciwr/doxygen-install@v1
-      with:
-        version: "1.9.6"
+        sudo apt install doxygen graphviz perl texlive-bibtex-extra
+        doxygen --version
     - uses: actions/checkout@v4
     - name: build documentation
       run: |
@@ -76,11 +74,11 @@ jobs:
     # check for typos
 
     name: typos
-    runs-on: [ubuntu-22.04]
+    runs-on: [ubuntu-24.04]
 
     steps:
     - uses: actions/checkout@v4
-    - uses: crate-ci/typos@v1.24.6
+    - uses: crate-ci/typos@v1.25.0
       with:
         files: doc examples include source tests
         config: ./.typos.toml

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.